../ libghc-copilot-theorem-dev_3.13-1_amd64.deb 01-Mar-2024 19:15 577K libghc-copilot-theorem-dev_3.13-1_i386.deb 06-Nov-2024 17:50 909K libghc-copilot-theorem-doc_3.13-1_all.deb 01-Mar-2024 19:15 209K libghc-copilot-theorem-prof_3.13-1_amd64.deb 01-Mar-2024 19:15 500K libghc-copilot-theorem-prof_3.13-1_i386.deb 06-Nov-2024 17:50 733K