Index of /ubuntu/pool/main/h/haskell-idris

	Name	Last modified	Size	Description
	Parent Directory		-
	idris_0.9.15.1-0+seereason1~precise1_amd64.deb	2014-11-13 12:50	19M
	idris_0.9.15.1-0+seereason1~trusty2_amd64.deb	2014-11-12 17:01	12M
	libghc-idris-dev_0.9.15.1-0+seereason1~precise1_amd64.deb	2014-11-13 12:51	10M
	libghc-idris-prof_0.9.15.1-0+seereason1~precise1_amd64.deb	2014-11-13 12:50	8.8M
	libghc-idris-dev_0.9.15.1-0+seereason1~trusty2_amd64.deb	2014-11-12 17:00	5.3M
	libghc-idris-prof_0.9.15.1-0+seereason1~trusty2_amd64.deb	2014-11-12 17:00	5.1M
	libghc-idris-doc_0.9.15.1-0+seereason1~precise1_all.deb	2014-11-13 12:51	1.1M
	libghc-idris-doc_0.9.15.1-0+seereason1~trusty2_all.deb	2014-11-12 17:00	798K
	haskell-idris_0.9.15.1-0+seereason1~trusty2.tar.gz	2014-11-12 17:01	577K
	haskell-idris_0.9.15.1-0+seereason1~precise1.tar.gz	2014-11-13 12:51	576K
	haskell-idris_0.9.15.1-0+seereason1~precise1.dsc	2014-11-13 12:51	9.0K
	haskell-idris_0.9.15.1-0+seereason1~trusty2.dsc	2014-11-12 17:00	8.9K