Name	Last modified	Size
	Parent Directory		-
	libghc-logict-dev_0.6.0.2-10+b2_amd64.deb	2018-12-03 17:44	63K
	libghc-logict-dev_0.7.0.2-1+b1_amd64.deb	2020-08-14 02:58	67K
	libghc-logict-dev_0.7.1.0-1+b3_amd64.deb	2022-09-25 16:42	69K
	libghc-logict-dev_0.8.1.0-1+b1_amd64.deb	2025-02-01 18:55	86K
	libghc-logict-dev_0.8.1.0-1_riscv64.deb	2024-09-17 14:04	151K
	libghc-logict-doc_0.6.0.2-10_all.deb	2018-10-01 23:25	51K
	libghc-logict-doc_0.7.0.2-1_all.deb	2020-05-31 03:44	54K
	libghc-logict-doc_0.7.1.0-1_all.deb	2022-06-15 04:10	63K
	libghc-logict-doc_0.8.1.0-1_all.deb	2024-09-17 11:40	74K
	libghc-logict-prof_0.6.0.2-10+b2_amd64.deb	2018-12-03 17:44	62K
	libghc-logict-prof_0.7.0.2-1+b1_amd64.deb	2020-08-14 02:58	66K
	libghc-logict-prof_0.7.1.0-1+b3_amd64.deb	2022-09-25 16:42	69K
	libghc-logict-prof_0.8.1.0-1+b1_amd64.deb	2025-02-01 18:55	90K
	libghc-logict-prof_0.8.1.0-1_riscv64.deb	2024-09-17 14:04	179K