Index of /ubuntu/pool/universe/h/haskell-copilot-theorem
Name
Last modified
Size
Description
Parent Directory
-
haskell-copilot-theorem_3.10-2.debian.tar.xz
2022-10-05 03:33
2.5K
haskell-copilot-theorem_3.10-2.dsc
2022-10-05 03:33
3.3K
haskell-copilot-theorem_3.10.orig.tar.gz
2022-09-20 02:53
57K
haskell-copilot-theorem_3.13-1.debian.tar.xz
2023-01-10 19:39
2.6K
haskell-copilot-theorem_3.13-1.dsc
2023-01-10 19:39
3.5K
haskell-copilot-theorem_3.13.orig.tar.gz
2023-01-10 19:39
64K
haskell-copilot-theorem_3.16.1-1.debian.tar.xz
2023-11-08 18:20
2.8K
haskell-copilot-theorem_3.16.1-1.dsc
2023-11-08 18:20
3.5K
haskell-copilot-theorem_3.16.1.orig.tar.gz
2023-11-08 18:20
64K
haskell-copilot-theorem_3.17-1.debian.tar.xz
2023-11-14 13:39
2.7K
haskell-copilot-theorem_3.17-1.dsc
2023-11-14 13:39
3.5K
haskell-copilot-theorem_3.17.orig.tar.gz
2023-11-14 13:39
64K
haskell-copilot-theorem_3.18.1-2.debian.tar.xz
2024-01-09 19:21
2.8K
haskell-copilot-theorem_3.18.1-2.dsc
2024-01-09 19:21
3.7K
haskell-copilot-theorem_3.18.1.orig.tar.gz
2024-01-09 13:45
66K
libghc-copilot-theorem-dev_3.10-2_amd64.deb
2022-10-05 03:33
569K
libghc-copilot-theorem-dev_3.13-1_amd64.deb
2023-01-11 00:34
626K
libghc-copilot-theorem-dev_3.16.1-1_amd64.deb
2023-11-11 13:09
623K
libghc-copilot-theorem-dev_3.17-1_amd64.deb
2023-11-14 19:04
624K
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb
2024-01-09 19:21
623K
libghc-copilot-theorem-doc_3.10-2_all.deb
2022-10-05 03:33
164K
libghc-copilot-theorem-doc_3.13-1_all.deb
2023-01-11 00:34
182K
libghc-copilot-theorem-doc_3.16.1-1_all.deb
2023-11-11 13:09
187K
libghc-copilot-theorem-doc_3.17-1_all.deb
2023-11-14 19:04
187K
libghc-copilot-theorem-doc_3.18.1-2_all.deb
2024-01-09 19:21
187K
libghc-copilot-theorem-prof_3.10-2_amd64.deb
2022-10-05 03:33
505K
libghc-copilot-theorem-prof_3.13-1_amd64.deb
2023-01-11 00:34
550K
libghc-copilot-theorem-prof_3.16.1-1_amd64.deb
2023-11-11 13:09
550K
libghc-copilot-theorem-prof_3.17-1_amd64.deb
2023-11-14 19:04
551K
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb
2024-01-09 19:21
550K
Apache/2.4.41 (Ubuntu) Server at mirror.datacenter.mn Port 80