Index of /ubuntu-ports/pool/universe/h/haskell-copilot-theorem/


../
haskell-copilot-theorem_3.10-1.debian.tar.xz       19-Sep-2022 18:53                2516
haskell-copilot-theorem_3.10-1.dsc                 19-Sep-2022 18:53                3422
haskell-copilot-theorem_3.10-2.debian.tar.xz       04-Oct-2022 19:33                2584
haskell-copilot-theorem_3.10-2.dsc                 04-Oct-2022 19:33                3422
haskell-copilot-theorem_3.10.orig.tar.gz           19-Sep-2022 18:53               58327
haskell-copilot-theorem_3.11-1.debian.tar.xz       06-Nov-2022 03:12                2580
haskell-copilot-theorem_3.11-1.dsc                 06-Nov-2022 03:12                3422
haskell-copilot-theorem_3.11.orig.tar.gz           06-Nov-2022 03:12               58334
haskell-copilot-theorem_3.12-1.debian.tar.xz       09-Nov-2022 05:29                2624
haskell-copilot-theorem_3.12-1.dsc                 09-Nov-2022 05:29                3579
haskell-copilot-theorem_3.12-1build1.debian.tar.xz 12-Dec-2022 18:29                2708
haskell-copilot-theorem_3.12-1build1.dsc           12-Dec-2022 18:29                3582
haskell-copilot-theorem_3.12.orig.tar.gz           09-Nov-2022 05:29               65706
haskell-copilot-theorem_3.13-1.debian.tar.xz       10-Jan-2023 11:39                2644
haskell-copilot-theorem_3.13-1.dsc                 10-Jan-2023 11:39                3579
haskell-copilot-theorem_3.13.orig.tar.gz           10-Jan-2023 11:39               65218
haskell-copilot-theorem_3.16.1-1.debian.tar.xz     08-Nov-2023 10:20                2916
haskell-copilot-theorem_3.16.1-1.dsc               08-Nov-2023 10:20                3614
haskell-copilot-theorem_3.16.1.orig.tar.gz         08-Nov-2023 10:20               65278
haskell-copilot-theorem_3.17-1.debian.tar.xz       14-Nov-2023 05:39                2736
haskell-copilot-theorem_3.17-1.dsc                 14-Nov-2023 05:39                3588
haskell-copilot-theorem_3.17.orig.tar.gz           14-Nov-2023 05:39               65303
haskell-copilot-theorem_3.18.1-1.debian.tar.xz     09-Jan-2024 05:45                2796
haskell-copilot-theorem_3.18.1-1.dsc               09-Jan-2024 05:45                3789
haskell-copilot-theorem_3.18.1-1build1.debian.t..> 09-Jan-2024 09:50                2864
haskell-copilot-theorem_3.18.1-1build1.dsc         09-Jan-2024 09:50                3792
haskell-copilot-theorem_3.18.1-2.debian.tar.xz     09-Jan-2024 11:21                2840
haskell-copilot-theorem_3.18.1-2.dsc               09-Jan-2024 11:21                3793
haskell-copilot-theorem_3.18.1-2build1.debian.t..> 15-May-2024 12:18                2908
haskell-copilot-theorem_3.18.1-2build1.dsc         15-May-2024 12:18                3796
haskell-copilot-theorem_3.18.1.orig.tar.gz         09-Jan-2024 05:45               67349
haskell-copilot-theorem_3.19.1-1.debian.tar.xz     09-Jul-2024 11:51                2844
haskell-copilot-theorem_3.19.1-1.dsc               09-Jul-2024 11:51                3793
haskell-copilot-theorem_3.19.1.orig.tar.gz         09-Jul-2024 11:51               64673
haskell-copilot-theorem_4.0-2.debian.tar.xz        26-Oct-2024 13:19                2916
haskell-copilot-theorem_4.0-2.dsc                  26-Oct-2024 13:19                3764
haskell-copilot-theorem_4.0-2build1.debian.tar.xz  21-Nov-2024 07:16                2980
haskell-copilot-theorem_4.0-2build1.dsc            21-Nov-2024 07:16                3767
haskell-copilot-theorem_4.0.orig.tar.gz            26-Oct-2024 13:19               66103
haskell-copilot-theorem_4.2-1.debian.tar.xz        23-Jan-2025 05:47                2928
haskell-copilot-theorem_4.2-1.dsc                  23-Jan-2025 05:47                3764
haskell-copilot-theorem_4.2.orig.tar.gz            23-Jan-2025 05:47               66178
libghc-copilot-theorem-dev_3.10-1_riscv64.deb      19-Sep-2022 20:43             1257650
libghc-copilot-theorem-dev_3.10-2_riscv64.deb      04-Oct-2022 21:08             1257950
libghc-copilot-theorem-dev_3.12-1build1_arm64.deb  12-Dec-2022 19:58              893396
libghc-copilot-theorem-dev_3.12-1build1_armhf.deb  12-Dec-2022 22:03              799654
libghc-copilot-theorem-dev_3.12-1build1_ppc64el..> 12-Dec-2022 18:29              934300
libghc-copilot-theorem-dev_3.12-1build1_riscv64..> 13-Dec-2022 22:10             1391942
libghc-copilot-theorem-dev_3.12-1build1_s390x.deb  12-Dec-2022 19:59             1049834
libghc-copilot-theorem-dev_3.13-1_arm64.deb        10-Jan-2023 16:34              893158
libghc-copilot-theorem-dev_3.13-1_armhf.deb        10-Jan-2023 17:34              800076
libghc-copilot-theorem-dev_3.13-1_ppc64el.deb      10-Jan-2023 16:34              935878
libghc-copilot-theorem-dev_3.13-1_riscv64.deb      10-Jan-2023 21:09             1392370
libghc-copilot-theorem-dev_3.13-1_s390x.deb        10-Jan-2023 16:34             1049650
libghc-copilot-theorem-dev_3.16.1-1_arm64.deb      11-Nov-2023 05:39              674842
libghc-copilot-theorem-dev_3.16.1-1_armhf.deb      11-Nov-2023 08:59              681920
libghc-copilot-theorem-dev_3.16.1-1_ppc64el.deb    11-Nov-2023 07:17              933848
libghc-copilot-theorem-dev_3.16.1-1_s390x.deb      11-Nov-2023 05:39              924684
libghc-copilot-theorem-dev_3.17-1_arm64.deb        14-Nov-2023 11:04              675138
libghc-copilot-theorem-dev_3.17-1_armhf.deb        14-Nov-2023 11:04              680128
libghc-copilot-theorem-dev_3.17-1_ppc64el.deb      14-Nov-2023 11:04              930960
libghc-copilot-theorem-dev_3.17-1_riscv64.deb      14-Nov-2023 22:39             1101728
libghc-copilot-theorem-dev_3.17-1_s390x.deb        14-Nov-2023 11:04              921908
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb      09-Jan-2024 12:05              674500
libghc-copilot-theorem-dev_3.18.1-2_armhf.deb      09-Jan-2024 12:05              681604
libghc-copilot-theorem-dev_3.18.1-2_ppc64el.deb    09-Jan-2024 11:21              934320
libghc-copilot-theorem-dev_3.18.1-2_riscv64.deb    09-Jan-2024 13:51             1100870
libghc-copilot-theorem-dev_3.18.1-2_s390x.deb      09-Jan-2024 12:05              923450
libghc-copilot-theorem-dev_3.18.1-2build1_arm64..> 16-May-2024 13:20              674776
libghc-copilot-theorem-dev_3.18.1-2build1_armhf..> 19-May-2024 06:48              681290
libghc-copilot-theorem-dev_3.18.1-2build1_ppc64..> 16-May-2024 23:20              934104
libghc-copilot-theorem-dev_3.18.1-2build1_riscv..> 16-May-2024 06:59             1100482
libghc-copilot-theorem-dev_3.18.1-2build1_s390x..> 16-May-2024 23:20              926190
libghc-copilot-theorem-dev_3.19.1-1_arm64.deb      10-Jul-2024 00:38              671862
libghc-copilot-theorem-dev_3.19.1-1_armhf.deb      10-Jul-2024 00:38              677168
libghc-copilot-theorem-dev_3.19.1-1_ppc64el.deb    10-Jul-2024 00:39              931072
libghc-copilot-theorem-dev_3.19.1-1_riscv64.deb    10-Jul-2024 00:39             1097708
libghc-copilot-theorem-dev_3.19.1-1_s390x.deb      10-Jul-2024 00:39              913520
libghc-copilot-theorem-dev_4.0-2_arm64.deb         26-Oct-2024 13:19              646186
libghc-copilot-theorem-dev_4.0-2_armhf.deb         26-Oct-2024 15:34              743706
libghc-copilot-theorem-dev_4.0-2_ppc64el.deb       26-Oct-2024 13:19              833578
libghc-copilot-theorem-dev_4.0-2_riscv64.deb       26-Oct-2024 18:54             1184996
libghc-copilot-theorem-dev_4.0-2_s390x.deb         26-Oct-2024 13:19             1045708
libghc-copilot-theorem-dev_4.0-2build1_arm64.deb   21-Nov-2024 07:17              646234
libghc-copilot-theorem-dev_4.0-2build1_armhf.deb   21-Nov-2024 07:17              743276
libghc-copilot-theorem-dev_4.0-2build1_ppc64el.deb 21-Nov-2024 07:18              833880
libghc-copilot-theorem-dev_4.0-2build1_riscv64.deb 21-Nov-2024 08:16             1184184
libghc-copilot-theorem-dev_4.0-2build1_s390x.deb   21-Nov-2024 07:18             1045582
libghc-copilot-theorem-dev_4.2-1_arm64.deb         23-Jan-2025 13:46              645306
libghc-copilot-theorem-dev_4.2-1_armhf.deb         23-Jan-2025 15:41              743556
libghc-copilot-theorem-dev_4.2-1_ppc64el.deb       23-Jan-2025 13:46              834062
libghc-copilot-theorem-dev_4.2-1_riscv64.deb       24-Jan-2025 11:56             1184490
libghc-copilot-theorem-dev_4.2-1_s390x.deb         23-Jan-2025 13:46             1045288
libghc-copilot-theorem-doc_3.10-1_all.deb          19-Sep-2022 19:13              167422
libghc-copilot-theorem-doc_3.10-2_all.deb          04-Oct-2022 19:33              167484
libghc-copilot-theorem-doc_3.12-1build1_all.deb    12-Dec-2022 18:29              186432
libghc-copilot-theorem-doc_3.13-1_all.deb          10-Jan-2023 16:34              186426
libghc-copilot-theorem-doc_3.16.1-1_all.deb        11-Nov-2023 05:09              191494
libghc-copilot-theorem-doc_3.17-1_all.deb          14-Nov-2023 11:04              191458
libghc-copilot-theorem-doc_3.18.1-2_all.deb        09-Jan-2024 11:21              191800
libghc-copilot-theorem-doc_3.18.1-2build1_all.deb  15-May-2024 20:41              191954
libghc-copilot-theorem-doc_3.19.1-1_all.deb        10-Jul-2024 00:38              190854
libghc-copilot-theorem-doc_4.0-2_all.deb           26-Oct-2024 13:19              193612
libghc-copilot-theorem-doc_4.0-2build1_all.deb     21-Nov-2024 07:16              193650
libghc-copilot-theorem-doc_4.2-1_all.deb           23-Jan-2025 13:45              193466
libghc-copilot-theorem-prof_3.10-1_riscv64.deb     19-Sep-2022 20:43             1173338
libghc-copilot-theorem-prof_3.10-2_riscv64.deb     04-Oct-2022 21:08             1173340
libghc-copilot-theorem-prof_3.12-1build1_arm64.deb 12-Dec-2022 19:58              853670
libghc-copilot-theorem-prof_3.12-1build1_armhf.deb 12-Dec-2022 22:03              810612
libghc-copilot-theorem-prof_3.12-1build1_ppc64e..> 12-Dec-2022 18:29              782196
libghc-copilot-theorem-prof_3.12-1build1_riscv6..> 13-Dec-2022 22:10             1293202
libghc-copilot-theorem-prof_3.12-1build1_s390x.deb 12-Dec-2022 19:59              736934
libghc-copilot-theorem-prof_3.13-1_arm64.deb       10-Jan-2023 16:34              853966
libghc-copilot-theorem-prof_3.13-1_armhf.deb       10-Jan-2023 17:34              809190
libghc-copilot-theorem-prof_3.13-1_ppc64el.deb     10-Jan-2023 16:34              782760
libghc-copilot-theorem-prof_3.13-1_riscv64.deb     10-Jan-2023 21:09             1292478
libghc-copilot-theorem-prof_3.13-1_s390x.deb       10-Jan-2023 16:34              735274
libghc-copilot-theorem-prof_3.16.1-1_arm64.deb     11-Nov-2023 05:39              691194
libghc-copilot-theorem-prof_3.16.1-1_armhf.deb     11-Nov-2023 08:59              739704
libghc-copilot-theorem-prof_3.16.1-1_ppc64el.deb   11-Nov-2023 07:17              786924
libghc-copilot-theorem-prof_3.16.1-1_s390x.deb     11-Nov-2023 05:39              832092
libghc-copilot-theorem-prof_3.17-1_arm64.deb       14-Nov-2023 11:04              689728
libghc-copilot-theorem-prof_3.17-1_armhf.deb       14-Nov-2023 11:04              739362
libghc-copilot-theorem-prof_3.17-1_ppc64el.deb     14-Nov-2023 11:04              790006
libghc-copilot-theorem-prof_3.17-1_riscv64.deb     14-Nov-2023 22:39             1220078
libghc-copilot-theorem-prof_3.17-1_s390x.deb       14-Nov-2023 11:04              832742
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb     09-Jan-2024 12:05              695324
libghc-copilot-theorem-prof_3.18.1-2_armhf.deb     09-Jan-2024 12:05              739680
libghc-copilot-theorem-prof_3.18.1-2_ppc64el.deb   09-Jan-2024 11:21              783458
libghc-copilot-theorem-prof_3.18.1-2_riscv64.deb   09-Jan-2024 13:51             1225876
libghc-copilot-theorem-prof_3.18.1-2_s390x.deb     09-Jan-2024 12:05              832446
libghc-copilot-theorem-prof_3.18.1-2build1_arm6..> 16-May-2024 13:20              695304
libghc-copilot-theorem-prof_3.18.1-2build1_armh..> 19-May-2024 06:48              740718
libghc-copilot-theorem-prof_3.18.1-2build1_ppc6..> 16-May-2024 23:20              789392
libghc-copilot-theorem-prof_3.18.1-2build1_risc..> 16-May-2024 06:59             1222968
libghc-copilot-theorem-prof_3.18.1-2build1_s390..> 16-May-2024 23:20              834520
libghc-copilot-theorem-prof_3.19.1-1_arm64.deb     10-Jul-2024 00:38              689600
libghc-copilot-theorem-prof_3.19.1-1_armhf.deb     10-Jul-2024 00:38              735628
libghc-copilot-theorem-prof_3.19.1-1_ppc64el.deb   10-Jul-2024 00:39              787810
libghc-copilot-theorem-prof_3.19.1-1_riscv64.deb   10-Jul-2024 00:39             1220568
libghc-copilot-theorem-prof_3.19.1-1_s390x.deb     10-Jul-2024 00:39              827496
libghc-copilot-theorem-prof_4.0-2_arm64.deb        26-Oct-2024 13:19              705760
libghc-copilot-theorem-prof_4.0-2_armhf.deb        26-Oct-2024 15:34              814118
libghc-copilot-theorem-prof_4.0-2_ppc64el.deb      26-Oct-2024 13:19              819668
libghc-copilot-theorem-prof_4.0-2_riscv64.deb      26-Oct-2024 18:54             1347732
libghc-copilot-theorem-prof_4.0-2_s390x.deb        26-Oct-2024 13:19              924306
libghc-copilot-theorem-prof_4.0-2build1_arm64.deb  21-Nov-2024 07:17              705740
libghc-copilot-theorem-prof_4.0-2build1_armhf.deb  21-Nov-2024 07:17              813004
libghc-copilot-theorem-prof_4.0-2build1_ppc64el..> 21-Nov-2024 07:18              820362
libghc-copilot-theorem-prof_4.0-2build1_riscv64..> 21-Nov-2024 08:16             1347110
libghc-copilot-theorem-prof_4.0-2build1_s390x.deb  21-Nov-2024 07:18              924974
libghc-copilot-theorem-prof_4.2-1_arm64.deb        23-Jan-2025 13:46              706322
libghc-copilot-theorem-prof_4.2-1_armhf.deb        23-Jan-2025 15:41              814202
libghc-copilot-theorem-prof_4.2-1_ppc64el.deb      23-Jan-2025 13:46              820520
libghc-copilot-theorem-prof_4.2-1_riscv64.deb      24-Jan-2025 11:56             1351090
libghc-copilot-theorem-prof_4.2-1_s390x.deb        23-Jan-2025 13:46              927096