Index of /ubuntu/pool/universe/l/ladr/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libladr4_0.0.200911a-2.1build1_amd64.deb 164K2018-Apr-04 21:23
ladr4-apps_0.0.200911a-2.1build1_amd64.deb 134K2018-Apr-04 21:23
libladr-dev_0.0.200911a-2.1build1_amd64.deb 256K2018-Apr-04 21:23
prover9_0.0.200911a-2.1build1_amd64.deb 76K2018-Apr-04 21:23
libladr4_0.0.200911a-2.1build1_i386.deb 185K2018-Apr-04 21:14
libladr-dev_0.0.200911a-2.1build1_i386.deb 281K2018-Apr-04 21:14
ladr4-apps_0.0.200911a-2.1build1_i386.deb 131K2018-Apr-04 21:14
prover9_0.0.200911a-2.1build1_i386.deb 83K2018-Apr-04 21:14
ladr_0.0.200911a-2.1build1.debian.tar.xz 19K2018-Apr-04 21:14
ladr_0.0.200911a-2.1build1.dsc 21232018-Apr-04 21:14
prover9_0.0.200911a-2.1_i386.deb 76K2014-Oct-24 21:38
ladr4-apps_0.0.200911a-2.1_i386.deb 117K2014-Oct-24 21:38
libladr-dev_0.0.200911a-2.1_i386.deb 256K2014-Oct-24 21:38
libladr4_0.0.200911a-2.1_i386.deb 182K2014-Oct-24 21:38
ladr4-apps_0.0.200911a-2.1_amd64.deb 126K2014-Oct-24 21:36
libladr4_0.0.200911a-2.1_amd64.deb 162K2014-Oct-24 21:36
prover9_0.0.200911a-2.1_amd64.deb 74K2014-Oct-24 21:36
libladr-dev_0.0.200911a-2.1_amd64.deb 248K2014-Oct-24 21:36
ladr_0.0.200911a-2.1.debian.tar.xz 19K2014-Oct-24 09:05
ladr_0.0.200911a-2.1.dsc 13372014-Oct-24 09:05
ladr4-apps_0.0.200911a-2_i386.deb 298K2013-May-25 19:03
libladr-dev_0.0.200911a-2_i386.deb 329K2013-May-25 19:03
libladr4_0.0.200911a-2_i386.deb 197K2013-May-25 19:03
prover9_0.0.200911a-2_i386.deb 89K2013-May-25 19:03
ladr4-apps_0.0.200911a-2_amd64.deb 314K2013-May-25 19:03
libladr-dev_0.0.200911a-2_amd64.deb 349K2013-May-25 19:03
libladr4_0.0.200911a-2_amd64.deb 194K2013-May-25 19:03
prover9_0.0.200911a-2_amd64.deb 96K2013-May-25 19:03
ladr_0.0.200911a-2.debian.tar.gz 22K2013-May-25 17:33
ladr_0.0.200911a-2.dsc 13012013-May-25 17:33
ladr_0.0.200911a.orig.tar.gz 2M2013-May-25 17:33
ladr4-apps_0.0.200902a-2_amd64.deb 365K2009-May-18 16:04
libladr-dev_0.0.200902a-2_amd64.deb 396K2009-May-18 16:04
libladr4_0.0.200902a-2_amd64.deb 237K2009-May-18 16:04
prover9_0.0.200902a-2_amd64.deb 126K2009-May-18 16:04
ladr4-apps_0.0.200902a-2_i386.deb 343K2009-May-18 14:04
libladr-dev_0.0.200902a-2_i386.deb 368K2009-May-18 14:04
libladr4_0.0.200902a-2_i386.deb 240K2009-May-18 14:04
prover9_0.0.200902a-2_i386.deb 119K2009-May-18 14:04
ladr_0.0.200902a-2.diff.gz 17K2009-May-18 12:04
ladr_0.0.200902a-2.dsc 11612009-May-18 12:04
ladr_0.0.200902a.orig.tar.gz 2M2009-Apr-30 10:04