Index of /debian-ports/pool-loong64/main/h/haskell-copilot-theorem

	Name	Last modified	Size
	Parent Directory		-
	haskell-copilot-theorem_4.3-1_loong64.buildinfo	2025-03-30 00:03	17K
	libghc-copilot-theorem-dev_4.3-1_loong64.deb	2025-03-30 00:03	1.1M
	libghc-copilot-theorem-prof_4.3-1_loong64.deb	2025-03-30 00:03	1.1M