Index of /ubuntu/pool/main/h/haskell-logic-tptp
Name
Last modified
Size
Description
Parent Directory
-
haskell-logic-tptp_0.4.2.0-0+seereason1~precise16.dsc
2015-04-07 04:40
4.3K
haskell-logic-tptp_0.4.2.0-0+seereason1~precise16.tar.gz
2015-04-07 04:40
49K
haskell-logic-tptp_0.4.4.0-0+seereason1~trusty12.dsc
2017-11-21 13:50
4.2K
haskell-logic-tptp_0.4.4.0-0+seereason1~trusty12.tar.gz
2017-11-21 13:50
46K
haskell-logic-tptp_0.4.4.0-0+seereason1~xenial11.dsc
2018-04-29 13:06
4.2K
haskell-logic-tptp_0.4.4.0-0+seereason1~xenial11.tar.xz
2018-04-29 13:06
31K
haskell-logic-tptp_0.4.6.0-0+seereason1~bionic1.dsc
2019-01-03 15:01
3.6K
haskell-logic-tptp_0.4.6.0-0+seereason1~bionic1.tar.xz
2019-01-03 15:01
32K
haskell-logic-tptp_0.4.6.0-0+seereason1~bionic2.dsc
2019-01-18 15:42
4.1K
haskell-logic-tptp_0.4.6.0-0+seereason1~bionic2.tar.xz
2019-01-18 15:42
32K
haskell-logic-tptp_0.4.6.0-0+seereason1~bionic2_amd64.buildinfo
2019-01-18 15:42
13K
libghc-logic-tptp-dev_0.4.2.0-0+seereason1~precise16_amd64.deb
2015-04-07 04:40
1.1M
libghc-logic-tptp-dev_0.4.4.0-0+seereason1~trusty12_amd64.deb
2017-11-21 13:50
595K
libghc-logic-tptp-dev_0.4.4.0-0+seereason1~xenial11_amd64.deb
2018-04-29 13:06
704K
libghc-logic-tptp-dev_0.4.6.0-0+seereason1~bionic1_amd64.deb
2019-01-03 15:01
718K
libghc-logic-tptp-dev_0.4.6.0-0+seereason1~bionic2_amd64.deb
2019-01-18 15:42
725K
libghc-logic-tptp-doc_0.4.2.0-0+seereason1~precise16_all.deb
2015-04-07 04:40
170K
libghc-logic-tptp-doc_0.4.4.0-0+seereason1~trusty12_all.deb
2017-11-21 13:50
112K
libghc-logic-tptp-doc_0.4.4.0-0+seereason1~xenial11_all.deb
2018-04-29 13:06
121K
libghc-logic-tptp-doc_0.4.6.0-0+seereason1~bionic1_all.deb
2019-01-03 15:01
162K
libghc-logic-tptp-doc_0.4.6.0-0+seereason1~bionic2_all.deb
2019-01-18 15:42
167K
libghc-logic-tptp-prof_0.4.2.0-0+seereason1~precise16_amd64.deb
2015-04-07 04:40
790K
libghc-logic-tptp-prof_0.4.4.0-0+seereason1~trusty12_amd64.deb
2017-11-21 13:50
495K
libghc-logic-tptp-prof_0.4.4.0-0+seereason1~xenial11_amd64.deb
2018-04-29 13:06
658K
libghc-logic-tptp-prof_0.4.6.0-0+seereason1~bionic1_amd64.deb
2019-01-03 15:01
674K
libghc-logic-tptp-prof_0.4.6.0-0+seereason1~bionic2_amd64.deb
2019-01-18 15:42
656K
Apache/2.4.18 (Ubuntu) Server at deb.seereason.com Port 80