../ haskell-copilot-theorem_3.13-1.debian.tar.xz 10-Jan-2023 01:20 2644 haskell-copilot-theorem_3.13-1.dsc 10-Jan-2023 01:20 3579 haskell-copilot-theorem_3.13.orig.tar.gz 10-Jan-2023 01:20 65218 haskell-copilot-theorem_3.18.1-2.debian.tar.xz 09-Jan-2024 03:53 2840 haskell-copilot-theorem_3.18.1-2.dsc 09-Jan-2024 03:53 3793 haskell-copilot-theorem_3.18.1.orig.tar.gz 09-Jan-2024 01:20 67349 libghc-copilot-theorem-dev_3.13-1_amd64.deb 10-Jan-2023 05:45 590456 libghc-copilot-theorem-dev_3.13-1_arm64.deb 10-Jan-2023 08:17 785340 libghc-copilot-theorem-dev_3.13-1_armel.deb 10-Jan-2023 08:42 722716 libghc-copilot-theorem-dev_3.13-1_armhf.deb 10-Jan-2023 07:42 705492 libghc-copilot-theorem-dev_3.13-1_i386.deb 10-Jan-2023 05:34 931168 libghc-copilot-theorem-dev_3.13-1_mips64el.deb 10-Jan-2023 07:42 790996 libghc-copilot-theorem-dev_3.13-1_mipsel.deb 10-Jan-2023 12:41 745408 libghc-copilot-theorem-dev_3.13-1_ppc64el.deb 10-Jan-2023 14:59 794896 libghc-copilot-theorem-dev_3.13-1_s390x.deb 10-Jan-2023 23:59 891808 libghc-copilot-theorem-dev_3.18.1-2+b1_amd64.deb 13-Apr-2024 17:46 591652 libghc-copilot-theorem-dev_3.18.1-2+b1_arm64.deb 13-Apr-2024 17:51 593836 libghc-copilot-theorem-dev_3.18.1-2+b1_i386.deb 13-Apr-2024 18:22 941444 libghc-copilot-theorem-dev_3.18.1-2+b1_mips64el..> 13-Apr-2024 22:28 800924 libghc-copilot-theorem-dev_3.18.1-2+b1_ppc64el.deb 13-Apr-2024 17:45 802864 libghc-copilot-theorem-dev_3.18.1-2+b1_riscv64.deb 15-Apr-2024 20:46 927580 libghc-copilot-theorem-dev_3.18.1-2+b1_s390x.deb 13-Apr-2024 17:51 802496 libghc-copilot-theorem-dev_3.18.1-2+b2_armel.deb 13-Apr-2024 22:23 620492 libghc-copilot-theorem-dev_3.18.1-2+b2_armhf.deb 13-Apr-2024 22:44 608500 libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 09-Jan-2024 04:49 591336 libghc-copilot-theorem-dev_3.18.1-2_arm64.deb 09-Jan-2024 04:54 593960 libghc-copilot-theorem-dev_3.18.1-2_armel.deb 09-Jan-2024 04:59 619660 libghc-copilot-theorem-dev_3.18.1-2_armhf.deb 09-Jan-2024 04:59 610668 libghc-copilot-theorem-dev_3.18.1-2_i386.deb 09-Jan-2024 04:54 939680 libghc-copilot-theorem-dev_3.18.1-2_mips64el.deb 09-Jan-2024 05:39 802904 libghc-copilot-theorem-dev_3.18.1-2_ppc64el.deb 09-Jan-2024 04:54 793916 libghc-copilot-theorem-dev_3.18.1-2_s390x.deb 09-Jan-2024 04:49 803756 libghc-copilot-theorem-doc_3.13-1_all.deb 10-Jan-2023 05:29 213864 libghc-copilot-theorem-doc_3.18.1-2_all.deb 09-Jan-2024 04:49 220332 libghc-copilot-theorem-prof_3.13-1_amd64.deb 10-Jan-2023 05:45 512192 libghc-copilot-theorem-prof_3.13-1_arm64.deb 10-Jan-2023 08:17 752972 libghc-copilot-theorem-prof_3.13-1_armel.deb 10-Jan-2023 08:42 722652 libghc-copilot-theorem-prof_3.13-1_armhf.deb 10-Jan-2023 07:42 710316 libghc-copilot-theorem-prof_3.13-1_i386.deb 10-Jan-2023 05:34 750184 libghc-copilot-theorem-prof_3.13-1_mips64el.deb 10-Jan-2023 07:42 679092 libghc-copilot-theorem-prof_3.13-1_mipsel.deb 10-Jan-2023 12:41 651680 libghc-copilot-theorem-prof_3.13-1_ppc64el.deb 10-Jan-2023 14:59 642248 libghc-copilot-theorem-prof_3.13-1_s390x.deb 10-Jan-2023 23:59 641572 libghc-copilot-theorem-prof_3.18.1-2+b1_amd64.deb 13-Apr-2024 17:46 525644 libghc-copilot-theorem-prof_3.18.1-2+b1_arm64.deb 13-Apr-2024 17:51 601876 libghc-copilot-theorem-prof_3.18.1-2+b1_i386.deb 13-Apr-2024 18:22 764900 libghc-copilot-theorem-prof_3.18.1-2+b1_mips64e..> 13-Apr-2024 22:28 699836 libghc-copilot-theorem-prof_3.18.1-2+b1_ppc64el..> 13-Apr-2024 17:45 662040 libghc-copilot-theorem-prof_3.18.1-2+b1_riscv64..> 15-Apr-2024 20:46 998156 libghc-copilot-theorem-prof_3.18.1-2+b1_s390x.deb 13-Apr-2024 17:51 725964 libghc-copilot-theorem-prof_3.18.1-2+b2_armel.deb 13-Apr-2024 22:23 660040 libghc-copilot-theorem-prof_3.18.1-2+b2_armhf.deb 13-Apr-2024 22:44 654308 libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 09-Jan-2024 04:49 524880 libghc-copilot-theorem-prof_3.18.1-2_arm64.deb 09-Jan-2024 04:54 603272 libghc-copilot-theorem-prof_3.18.1-2_armel.deb 09-Jan-2024 04:59 661936 libghc-copilot-theorem-prof_3.18.1-2_armhf.deb 09-Jan-2024 04:59 655904 libghc-copilot-theorem-prof_3.18.1-2_i386.deb 09-Jan-2024 04:54 762676 libghc-copilot-theorem-prof_3.18.1-2_mips64el.deb 09-Jan-2024 05:39 698392 libghc-copilot-theorem-prof_3.18.1-2_ppc64el.deb 09-Jan-2024 04:54 655980 libghc-copilot-theorem-prof_3.18.1-2_s390x.deb 09-Jan-2024 04:49 723420