Name	Last modified	Size	Description
	Parent Directory		-
	libghc-copilot-theorem-prof_4.0-2build1_amd64.deb	2024-11-21 02:16	566K
	libghc-copilot-theorem-prof_3.19.1-1_amd64.deb	2024-07-09 20:38	548K
	libghc-copilot-theorem-prof_3.18.1-2_amd64.deb	2024-01-09 06:21	550K
	libghc-copilot-theorem-doc_4.0-2build1_all.deb	2024-11-21 02:16	189K
	libghc-copilot-theorem-doc_3.19.1-1_all.deb	2024-07-09 20:38	186K
	libghc-copilot-theorem-doc_3.18.1-2_all.deb	2024-01-09 06:21	187K
	libghc-copilot-theorem-dev_4.0-2build1_amd64.deb	2024-11-21 02:16	600K
	libghc-copilot-theorem-dev_3.19.1-1_amd64.deb	2024-07-09 20:38	620K
	libghc-copilot-theorem-dev_3.18.1-2_amd64.deb	2024-01-09 06:21	623K
	haskell-copilot-theorem_4.0.orig.tar.gz	2024-10-26 09:19	65K	GZIP compressed TAR archive
	haskell-copilot-theorem_4.0-2build1.dsc	2024-11-21 02:16	3.7K
	haskell-copilot-theorem_4.0-2build1.debian.tar.xz	2024-11-21 02:16	2.9K	TAR compressed archive
	haskell-copilot-theorem_3.19.1.orig.tar.gz	2024-07-09 07:51	63K	GZIP compressed TAR archive
	haskell-copilot-theorem_3.19.1-1.dsc	2024-07-09 07:51	3.7K
	haskell-copilot-theorem_3.19.1-1.debian.tar.xz	2024-07-09 07:51	2.8K	TAR compressed archive
	haskell-copilot-theorem_3.18.1.orig.tar.gz	2024-01-09 00:45	66K	GZIP compressed TAR archive
	haskell-copilot-theorem_3.18.1-2.dsc	2024-01-09 06:21	3.7K
	haskell-copilot-theorem_3.18.1-2.debian.tar.xz	2024-01-09 06:21	2.8K	TAR compressed archive

    Etc: Routinator