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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]haskell-idris_0.9.15.1-0+seereason1~precise1.tar.gz2014-11-13 12:51 576K 
[   ]haskell-idris_0.9.15.1-0+seereason1~precise1.dsc2014-11-13 12:51 9.0K 
[   ]libghc-idris-doc_0.9.15.1-0+seereason1~precise1_all.deb2014-11-13 12:51 1.1M 
[   ]libghc-idris-dev_0.9.15.1-0+seereason1~precise1_amd64.deb2014-11-13 12:51 10M 
[   ]libghc-idris-prof_0.9.15.1-0+seereason1~precise1_amd64.deb2014-11-13 12:50 8.8M 
[   ]idris_0.9.15.1-0+seereason1~precise1_amd64.deb2014-11-13 12:50 19M 
[   ]haskell-idris_0.9.15.1-0+seereason1~trusty2.tar.gz2014-11-12 17:01 577K 
[   ]idris_0.9.15.1-0+seereason1~trusty2_amd64.deb2014-11-12 17:01 12M 
[   ]libghc-idris-doc_0.9.15.1-0+seereason1~trusty2_all.deb2014-11-12 17:00 798K 
[   ]libghc-idris-dev_0.9.15.1-0+seereason1~trusty2_amd64.deb2014-11-12 17:00 5.3M 
[   ]haskell-idris_0.9.15.1-0+seereason1~trusty2.dsc2014-11-12 17:00 8.9K 
[   ]libghc-idris-prof_0.9.15.1-0+seereason1~trusty2_amd64.deb2014-11-12 17:00 5.1M 

Apache/2.4.18 (Ubuntu) Server at deb.seereason.com Port 80