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

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] haskell-copilot-theorem_3.13-1.debian.tar.xz 2023-01-10 12:39 2.6K [   ] haskell-copilot-theorem_3.13-1.dsc 2023-01-10 12:39 3.5K [   ] haskell-copilot-theorem_3.13.orig.tar.gz 2023-01-10 12:39 64K [   ] haskell-copilot-theorem_3.18.1-2.debian.tar.xz 2024-01-09 12:21 2.8K [   ] 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 [   ] libghc-copilot-theorem-dev_3.13-1_arm64.deb 2023-01-10 17:34 872K [   ] libghc-copilot-theorem-dev_3.13-1_armhf.deb 2023-01-10 18:34 781K [   ] libghc-copilot-theorem-dev_3.13-1_ppc64el.deb 2023-01-10 17:34 914K [   ] libghc-copilot-theorem-dev_3.13-1_riscv64.deb 2023-01-10 22:09 1.3M [   ] libghc-copilot-theorem-dev_3.13-1_s390x.deb 2023-01-10 17:34 1.0M [   ] 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-doc_3.13-1_all.deb 2023-01-10 17:34 182K [   ] libghc-copilot-theorem-doc_3.18.1-2_all.deb 2024-01-09 12:21 187K [   ] libghc-copilot-theorem-prof_3.13-1_arm64.deb 2023-01-10 17:34 834K [   ] libghc-copilot-theorem-prof_3.13-1_armhf.deb 2023-01-10 18:34 790K [   ] libghc-copilot-theorem-prof_3.13-1_ppc64el.deb 2023-01-10 17:34 764K [   ] libghc-copilot-theorem-prof_3.13-1_riscv64.deb 2023-01-10 22:09 1.2M [   ] libghc-copilot-theorem-prof_3.13-1_s390x.deb 2023-01-10 17:34 718K [   ] 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
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80