Index of /ubuntu-ports/pool/universe/h/haskell-copilot-theorem
Name Last modified Size Description
Parent Directory -
haskell-copilot-theorem_3.18.1.orig.tar.gz 2024-01-09 06:45 66K
haskell-copilot-theorem_3.18.1-2.dsc 2024-01-09 12:21 3.7K
haskell-copilot-theorem_3.18.1-2.debian.tar.xz 2024-01-09 12:21 2.8K
libghc-copilot-theorem-doc_3.18.1-2_all.deb 2024-01-09 12:21 187K
libghc-copilot-theorem-prof_3.18.1-2_ppc64el.deb 2024-01-09 12:21 765K
libghc-copilot-theorem-dev_3.18.1-2_ppc64el.deb 2024-01-09 12:21 912K
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb 2024-01-09 13:05 679K
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb 2024-01-09 13:05 659K
libghc-copilot-theorem-prof_3.18.1-2_armhf.deb 2024-01-09 13:05 722K
libghc-copilot-theorem-dev_3.18.1-2_armhf.deb 2024-01-09 13:05 666K
libghc-copilot-theorem-prof_3.18.1-2_s390x.deb 2024-01-09 13:05 813K
libghc-copilot-theorem-dev_3.18.1-2_s390x.deb 2024-01-09 13:05 902K
libghc-copilot-theorem-prof_3.18.1-2_riscv64.deb 2024-01-09 14:51 1.2M
libghc-copilot-theorem-dev_3.18.1-2_riscv64.deb 2024-01-09 14:51 1.0M
haskell-copilot-theorem_4.2-1.dsc 2025-01-23 06:47 3.7K
haskell-copilot-theorem_4.2.orig.tar.gz 2025-01-23 06:47 65K
haskell-copilot-theorem_4.2-1.debian.tar.xz 2025-01-23 06:47 2.9K
libghc-copilot-theorem-doc_4.2-1_all.deb 2025-01-23 14:45 189K
libghc-copilot-theorem-prof_4.2-1_arm64.deb 2025-01-23 14:46 690K
libghc-copilot-theorem-dev_4.2-1_arm64.deb 2025-01-23 14:46 630K
libghc-copilot-theorem-prof_4.2-1_ppc64el.deb 2025-01-23 14:46 801K
libghc-copilot-theorem-dev_4.2-1_ppc64el.deb 2025-01-23 14:46 815K
libghc-copilot-theorem-prof_4.2-1_s390x.deb 2025-01-23 14:46 905K
libghc-copilot-theorem-dev_4.2-1_s390x.deb 2025-01-23 14:46 1.0M
libghc-copilot-theorem-prof_4.2-1_armhf.deb 2025-01-23 16:41 795K
libghc-copilot-theorem-dev_4.2-1_armhf.deb 2025-01-23 16:41 726K
libghc-copilot-theorem-prof_4.2-1_riscv64.deb 2025-01-24 12:56 1.3M
libghc-copilot-theorem-dev_4.2-1_riscv64.deb 2025-01-24 12:56 1.1M
haskell-copilot-theorem_4.5.orig.tar.gz 2025-08-27 19:48 70K
haskell-copilot-theorem_4.5-1build1.debian.tar.xz 2025-09-12 08:38 3.0K
haskell-copilot-theorem_4.5-1build1.dsc 2025-09-12 08:38 3.7K
libghc-copilot-theorem-doc_4.5-1build1_all.deb 2025-09-14 17:43 203K
libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 2025-09-14 17:43 716K
libghc-copilot-theorem-dev_4.5-1build1_arm64.deb 2025-09-14 17:43 654K
libghc-copilot-theorem-prof_4.5-1build1_armhf.deb 2025-09-14 17:43 824K
libghc-copilot-theorem-dev_4.5-1build1_armhf.deb 2025-09-14 17:43 754K
libghc-copilot-theorem-prof_4.5-1build1_ppc64el.deb 2025-09-14 17:43 830K
libghc-copilot-theorem-dev_4.5-1build1_ppc64el.deb 2025-09-14 17:43 848K
libghc-copilot-theorem-prof_4.5-1build1_s390x.deb 2025-09-14 17:43 936K
libghc-copilot-theorem-dev_4.5-1build1_s390x.deb 2025-09-14 17:43 1.0M
libghc-copilot-theorem-prof_4.5-1build1_riscv64.deb 2025-09-15 02:12 1.3M
libghc-copilot-theorem-dev_4.5-1build1_riscv64.deb 2025-09-15 02:12 1.2M
haskell-copilot-theorem_4.6-2.dsc 2026-02-16 10:50 3.7K
haskell-copilot-theorem_4.6.orig.tar.gz 2026-02-16 10:50 70K
haskell-copilot-theorem_4.6-2.debian.tar.xz 2026-02-16 10:50 2.9K
libghc-copilot-theorem-doc_4.6-2_all.deb 2026-02-16 10:50 198K
libghc-copilot-theorem-prof_4.6-2_arm64.deb 2026-02-16 10:51 724K
libghc-copilot-theorem-dev_4.6-2_arm64.deb 2026-02-16 10:51 641K
libghc-copilot-theorem-prof_4.6-2_armhf.deb 2026-02-16 10:51 871K
libghc-copilot-theorem-dev_4.6-2_armhf.deb 2026-02-16 10:51 767K
libghc-copilot-theorem-prof_4.6-2_ppc64el.deb 2026-02-16 10:51 835K
libghc-copilot-theorem-dev_4.6-2_ppc64el.deb 2026-02-16 10:51 826K
libghc-copilot-theorem-prof_4.6-2_s390x.deb 2026-02-16 10:51 885K
libghc-copilot-theorem-dev_4.6-2_s390x.deb 2026-02-16 10:51 918K
libghc-copilot-theorem-prof_4.6-2_riscv64.deb 2026-02-16 18:37 1.3M
libghc-copilot-theorem-dev_4.6-2_riscv64.deb 2026-02-16 18:37 1.2M
haskell-copilot-theorem_4.6.1-1.dsc 2026-03-01 00:32 3.8K
haskell-copilot-theorem_4.6.1.orig.tar.gz 2026-03-01 00:32 70K
haskell-copilot-theorem_4.6.1-1.debian.tar.xz 2026-03-01 00:32 2.9K
Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443