../ haskell-copilot-theorem_3.13-1.debian.tar.xz 10-Jan-2023 04:50 2644 haskell-copilot-theorem_3.13-1.dsc 10-Jan-2023 04:50 3579 haskell-copilot-theorem_3.13.orig.tar.gz 10-Jan-2023 04:50 64K haskell-copilot-theorem_4.0-2.debian.tar.xz 23-Sep-2024 00:32 2916 haskell-copilot-theorem_4.0-2.dsc 23-Sep-2024 00:32 3764 haskell-copilot-theorem_4.0.orig.tar.gz 11-Sep-2024 06:56 65K libghc-copilot-theorem-dev_3.13-1_amd64.deb 10-Jan-2023 09:15 577K libghc-copilot-theorem-dev_3.13-1_arm64.deb 10-Jan-2023 11:47 767K libghc-copilot-theorem-dev_3.13-1_armel.deb 10-Jan-2023 12:12 706K libghc-copilot-theorem-dev_3.13-1_armhf.deb 10-Jan-2023 11:12 689K libghc-copilot-theorem-dev_3.13-1_i386.deb 10-Jan-2023 09:04 909K libghc-copilot-theorem-dev_3.13-1_mips64el.deb 10-Jan-2023 11:12 772K libghc-copilot-theorem-dev_3.13-1_mipsel.deb 10-Jan-2023 16:11 728K libghc-copilot-theorem-dev_3.13-1_ppc64el.deb 10-Jan-2023 18:29 776K libghc-copilot-theorem-dev_3.13-1_s390x.deb 11-Jan-2023 03:29 871K libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb 23-Oct-2024 09:04 561K libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb 23-Oct-2024 09:24 560K libghc-copilot-theorem-dev_4.0-2+b2_ppc64el.deb 23-Oct-2024 09:25 702K libghc-copilot-theorem-dev_4.0-2+b2_riscv64.deb 26-Oct-2024 02:17 972K libghc-copilot-theorem-dev_4.0-2+b2_s390x.deb 23-Oct-2024 10:57 883K libghc-copilot-theorem-dev_4.0-2+b3_armel.deb 23-Oct-2024 11:37 662K libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb 23-Oct-2024 13:59 649K libghc-copilot-theorem-dev_4.0-2+b3_i386.deb 23-Oct-2024 10:21 873K libghc-copilot-theorem-dev_4.0-2+b3_mips64el.deb 23-Oct-2024 23:47 751K libghc-copilot-theorem-doc_3.13-1_all.deb 10-Jan-2023 08:59 209K libghc-copilot-theorem-doc_4.0-2_all.deb 08-Oct-2024 17:18 219K libghc-copilot-theorem-prof_3.13-1_amd64.deb 10-Jan-2023 09:15 500K libghc-copilot-theorem-prof_3.13-1_arm64.deb 10-Jan-2023 11:47 735K libghc-copilot-theorem-prof_3.13-1_armel.deb 10-Jan-2023 12:12 706K libghc-copilot-theorem-prof_3.13-1_armhf.deb 10-Jan-2023 11:12 694K libghc-copilot-theorem-prof_3.13-1_i386.deb 10-Jan-2023 09:04 733K libghc-copilot-theorem-prof_3.13-1_mips64el.deb 10-Jan-2023 11:12 663K libghc-copilot-theorem-prof_3.13-1_mipsel.deb 10-Jan-2023 16:11 636K libghc-copilot-theorem-prof_3.13-1_ppc64el.deb 10-Jan-2023 18:29 627K libghc-copilot-theorem-prof_3.13-1_s390x.deb 11-Jan-2023 03:29 627K libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb 23-Oct-2024 09:04 523K libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb 23-Oct-2024 09:24 596K libghc-copilot-theorem-prof_4.0-2+b2_ppc64el.deb 23-Oct-2024 09:25 677K libghc-copilot-theorem-prof_4.0-2+b2_riscv64.deb 26-Oct-2024 02:17 1M libghc-copilot-theorem-prof_4.0-2+b2_s390x.deb 23-Oct-2024 10:57 791K libghc-copilot-theorem-prof_4.0-2+b3_armel.deb 23-Oct-2024 11:37 707K libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb 23-Oct-2024 13:59 696K libghc-copilot-theorem-prof_4.0-2+b3_i386.deb 23-Oct-2024 10:21 775K libghc-copilot-theorem-prof_4.0-2+b3_mips64el.deb 23-Oct-2024 23:47 712K