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

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] haskell-copilot-theorem_3.18.1-2.debian.tar.xz 2024-01-09 12:21 2.8K [TXT] haskell-copilot-theorem_3.18.1-2.dsc 2024-01-09 12:21 3.7K [   ] haskell-copilot-theorem_3.18.1.orig.tar.gz 2024-01-09 06:45 66K [   ] haskell-copilot-theorem_4.2-1.debian.tar.xz 2025-01-23 06:47 2.9K [TXT] 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.5-1build1.debian.tar.xz 2025-09-12 08:38 3.0K [TXT] haskell-copilot-theorem_4.5-1build1.dsc 2025-09-12 08:38 3.7K [   ] haskell-copilot-theorem_4.5.orig.tar.gz 2025-08-27 19:48 70K [   ] libghc-copilot-theorem-dev_3.18.1-2_arm64.deb 2024-01-09 13:05 659K [   ] libghc-copilot-theorem-dev_3.18.1-2_armhf.deb 2024-01-09 13:05 666K [   ] libghc-copilot-theorem-dev_3.18.1-2_ppc64el.deb 2024-01-09 12:21 912K [   ] libghc-copilot-theorem-dev_3.18.1-2_riscv64.deb 2024-01-09 14:51 1.0M [   ] libghc-copilot-theorem-dev_3.18.1-2_s390x.deb 2024-01-09 13:05 902K [   ] libghc-copilot-theorem-dev_4.2-1_arm64.deb 2025-01-23 14:46 630K [   ] libghc-copilot-theorem-dev_4.2-1_armhf.deb 2025-01-23 16:41 726K [   ] libghc-copilot-theorem-dev_4.2-1_ppc64el.deb 2025-01-23 14:46 815K [   ] libghc-copilot-theorem-dev_4.2-1_riscv64.deb 2025-01-24 12:56 1.1M [   ] libghc-copilot-theorem-dev_4.2-1_s390x.deb 2025-01-23 14:46 1.0M [   ] libghc-copilot-theorem-dev_4.5-1build1_arm64.deb 2025-09-14 17:43 654K [   ] libghc-copilot-theorem-dev_4.5-1build1_armhf.deb 2025-09-14 17:43 754K [   ] libghc-copilot-theorem-dev_4.5-1build1_ppc64el.deb 2025-09-14 17:43 848K [   ] libghc-copilot-theorem-dev_4.5-1build1_riscv64.deb 2025-09-15 02:12 1.2M [   ] libghc-copilot-theorem-dev_4.5-1build1_s390x.deb 2025-09-14 17:43 1.0M [   ] libghc-copilot-theorem-doc_3.18.1-2_all.deb 2024-01-09 12:21 187K [   ] libghc-copilot-theorem-doc_4.2-1_all.deb 2025-01-23 14:45 189K [   ] libghc-copilot-theorem-doc_4.5-1build1_all.deb 2025-09-14 17:43 203K [   ] libghc-copilot-theorem-prof_3.18.1-2_arm64.deb 2024-01-09 13:05 679K [   ] libghc-copilot-theorem-prof_3.18.1-2_armhf.deb 2024-01-09 13:05 722K [   ] libghc-copilot-theorem-prof_3.18.1-2_ppc64el.deb 2024-01-09 12:21 765K [   ] libghc-copilot-theorem-prof_3.18.1-2_riscv64.deb 2024-01-09 14:51 1.2M [   ] libghc-copilot-theorem-prof_3.18.1-2_s390x.deb 2024-01-09 13:05 813K [   ] libghc-copilot-theorem-prof_4.2-1_arm64.deb 2025-01-23 14:46 690K [   ] libghc-copilot-theorem-prof_4.2-1_armhf.deb 2025-01-23 16:41 795K [   ] libghc-copilot-theorem-prof_4.2-1_ppc64el.deb 2025-01-23 14:46 801K [   ] libghc-copilot-theorem-prof_4.2-1_riscv64.deb 2025-01-24 12:56 1.3M [   ] libghc-copilot-theorem-prof_4.2-1_s390x.deb 2025-01-23 14:46 905K [   ] libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 2025-09-14 17:43 716K [   ] libghc-copilot-theorem-prof_4.5-1build1_armhf.deb 2025-09-14 17:43 824K [   ] libghc-copilot-theorem-prof_4.5-1build1_ppc64el.deb 2025-09-14 17:43 830K [   ] libghc-copilot-theorem-prof_4.5-1build1_riscv64.deb 2025-09-15 02:12 1.3M [   ] libghc-copilot-theorem-prof_4.5-1build1_s390x.deb 2025-09-14 17:43 936K
Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443