Index of /debian/pool/main/h/haskell-logic-tptp
Name
Last modified
Size
Description
Parent Directory
-
libghc-logic-tptp-dev_0.3.0.1-1~hackage1+seereason1~bpo51+1_amd64.deb
2012-03-23 13:40
1.4M
libghc-logic-tptp-prof_0.3.0.1-1~hackage1+seereason1~bpo51+1_amd64.deb
2012-03-23 13:40
1.3M
libghc-logic-tptp-doc_0.3.0.1-1~hackage1+seereason1~bpo51+1_all.deb
2012-03-23 13:40
162K
haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.dsc
2012-04-24 21:54
3.5K
libghc-logic-tptp-prof_0.3.0.1-1~hackage1+seereason1_amd64.deb
2012-04-24 21:54
1.2M
libghc-logic-tptp-dev_0.3.0.1-1~hackage1+seereason1_amd64.deb
2012-04-24 21:54
1.3M
haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.tar.gz
2012-04-24 21:54
49K
libghc-logic-tptp-doc_0.3.0.1-1~hackage1+seereason1_all.deb
2012-04-24 21:54
165K
libghc-logic-tptp-prof_0.4.0.0-0+seereason1~bpo60+1_amd64.deb
2013-04-13 23:26
1.0M
libghc-logic-tptp-dev_0.4.0.0-0+seereason1~bpo60+1_amd64.deb
2013-04-13 23:26
1.0M
libghc-logic-tptp-doc_0.4.0.0-0+seereason1~bpo60+1_all.deb
2013-04-13 23:26
167K
haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.dsc
2013-04-23 20:43
3.7K
haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.tar.gz
2013-04-23 20:43
47K
libghc-logic-tptp-dev_0.4.0.0-0+seereason2~bpo60+1_amd64.deb
2013-04-23 20:43
1.0M
libghc-logic-tptp-prof_0.4.0.0-0+seereason2~bpo60+1_amd64.deb
2013-04-23 20:44
1.0M
libghc-logic-tptp-doc_0.4.0.0-0+seereason2~bpo60+1_all.deb
2013-04-23 20:44
167K
Apache/2.4.18 (Ubuntu) Server at deb.seereason.com Port 80