Name	Last modified	Size
Parent Directory		-
libghc-copilot-theorem-dev_4.0-2build1_amd64.deb	2024-11-21 01:16	600K
libghc-copilot-theorem-doc_4.0-2build1_all.deb	2024-11-21 01:16	189K
libghc-copilot-theorem-prof_4.0-2build1_amd64.deb	2024-11-21 01:16	566K
haskell-copilot-theorem_4.0-2build1.dsc	2024-11-21 01:16	3.7K
haskell-copilot-theorem_4.0-2build1.debian.tar.xz	2024-11-21 01:16	2.9K
libghc-copilot-theorem-dev_4.0-2_amd64.deb	2024-10-26 08:19	600K
libghc-copilot-theorem-doc_4.0-2_all.deb	2024-10-26 08:19	189K
libghc-copilot-theorem-prof_4.0-2_amd64.deb	2024-10-26 08:19	566K
haskell-copilot-theorem_4.0-2.debian.tar.xz	2024-10-26 08:19	2.8K
haskell-copilot-theorem_4.0.orig.tar.gz	2024-10-26 08:19	65K
haskell-copilot-theorem_4.0-2.dsc	2024-10-26 08:19	3.7K
libghc-copilot-theorem-dev_3.19.1-1_amd64.deb	2024-07-09 19:38	620K
libghc-copilot-theorem-doc_3.19.1-1_all.deb	2024-07-09 19:38	186K
libghc-copilot-theorem-prof_3.19.1-1_amd64.deb	2024-07-09 19:38	548K
haskell-copilot-theorem_3.19.1-1.debian.tar.xz	2024-07-09 06:51	2.8K
haskell-copilot-theorem_3.19.1.orig.tar.gz	2024-07-09 06:51	63K
haskell-copilot-theorem_3.19.1-1.dsc	2024-07-09 06:51	3.7K
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb	2024-01-09 05:21	623K
libghc-copilot-theorem-doc_3.18.1-2_all.deb	2024-01-09 05:21	187K
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb	2024-01-09 05:21	550K
haskell-copilot-theorem_3.18.1-2.debian.tar.xz	2024-01-09 05:21	2.8K
haskell-copilot-theorem_3.18.1-2.dsc	2024-01-09 05:21	3.7K
haskell-copilot-theorem_3.18.1.orig.tar.gz	2024-01-08 23:45	66K
libghc-copilot-theorem-doc_3.13-1_all.deb	2023-01-10 10:34	182K
libghc-copilot-theorem-prof_3.13-1_amd64.deb	2023-01-10 10:34	550K
libghc-copilot-theorem-dev_3.13-1_amd64.deb	2023-01-10 10:34	626K
haskell-copilot-theorem_3.13-1.debian.tar.xz	2023-01-10 05:39	2.6K
haskell-copilot-theorem_3.13.orig.tar.gz	2023-01-10 05:39	64K
haskell-copilot-theorem_3.13-1.dsc	2023-01-10 05:39	3.5K