Name
Last modified
Size
Description
Parent Directory
-
libghc-copilot-theorem-prof_4.3-1_riscv64.deb
2025-03-29 16:08
1.1M
libghc-copilot-theorem-prof_4.3-1_i386.deb
2025-03-29 12:54
795K
libghc-copilot-theorem-prof_4.3-1_armhf.deb
2025-03-29 12:49
712K
libghc-copilot-theorem-prof_4.3-1_arm64.deb
2025-03-29 12:54
616K
libghc-copilot-theorem-prof_4.3-1_amd64.deb
2025-03-29 12:49
536K
libghc-copilot-theorem-prof_3.13-1_i386.deb
2023-01-09 21:34
733K
libghc-copilot-theorem-prof_3.13-1_armhf.deb
2023-01-09 23:42
694K
libghc-copilot-theorem-prof_3.13-1_arm64.deb
2023-01-10 00:17
735K
libghc-copilot-theorem-prof_3.13-1_amd64.deb
2023-01-09 21:45
500K
libghc-copilot-theorem-doc_4.3-1_all.deb
2025-03-29 12:54
224K
libghc-copilot-theorem-doc_3.13-1_all.deb
2023-01-09 21:29
209K
libghc-copilot-theorem-dev_4.3-1_riscv64.deb
2025-03-29 16:08
1.0M
libghc-copilot-theorem-dev_4.3-1_i386.deb
2025-03-29 12:54
902K
libghc-copilot-theorem-dev_4.3-1_armhf.deb
2025-03-29 12:49
668K
libghc-copilot-theorem-dev_4.3-1_arm64.deb
2025-03-29 12:54
576K
libghc-copilot-theorem-dev_4.3-1_amd64.deb
2025-03-29 12:49
576K
libghc-copilot-theorem-dev_3.13-1_i386.deb
2023-01-09 21:34
909K
libghc-copilot-theorem-dev_3.13-1_armhf.deb
2023-01-09 23:42
689K
libghc-copilot-theorem-dev_3.13-1_arm64.deb
2023-01-10 00:17
767K
libghc-copilot-theorem-dev_3.13-1_amd64.deb
2023-01-09 21:45
577K
haskell-copilot-theorem_4.3.orig.tar.gz
2025-03-29 10:28
70K
haskell-copilot-theorem_4.3-1.dsc
2025-03-29 10:28
3.7K
haskell-copilot-theorem_4.3-1.debian.tar.xz
2025-03-29 10:28
2.9K
haskell-copilot-theorem_3.13.orig.tar.gz
2023-01-09 17:20
64K
haskell-copilot-theorem_3.13-1.dsc
2023-01-09 17:20
3.5K
haskell-copilot-theorem_3.13-1.debian.tar.xz
2023-01-09 17:20
2.6K