Parent directory/ | - | - |
ladr_0.0.200902a.orig.tar.gz | 2M | 2009-Apr-30 10:04 |
ladr_0.0.200911a.orig.tar.gz | 2M | 2013-May-25 17:33 |
libladr-dev_0.0.200902a-2_amd64.deb | 396K | 2009-May-18 16:04 |
libladr-dev_0.0.200902a-2_i386.deb | 368K | 2009-May-18 14:04 |
ladr4-apps_0.0.200902a-2_amd64.deb | 365K | 2009-May-18 16:04 |
libladr-dev_0.0.200911a-2_amd64.deb | 349K | 2013-May-25 19:03 |
ladr4-apps_0.0.200902a-2_i386.deb | 343K | 2009-May-18 14:04 |
libladr-dev_0.0.200911a-2_i386.deb | 329K | 2013-May-25 19:03 |
ladr4-apps_0.0.200911a-2_amd64.deb | 314K | 2013-May-25 19:03 |
ladr4-apps_0.0.200911a-2_i386.deb | 298K | 2013-May-25 19:03 |
libladr-dev_0.0.200911a-2.1build1_i386.deb | 281K | 2018-Apr-04 21:14 |
libladr-dev_0.0.200911a-2.1_i386.deb | 256K | 2014-Oct-24 21:38 |
libladr-dev_0.0.200911a-2.1build1_amd64.deb | 256K | 2018-Apr-04 21:23 |
libladr-dev_0.0.200911a-2.1_amd64.deb | 248K | 2014-Oct-24 21:36 |
libladr4_0.0.200902a-2_i386.deb | 240K | 2009-May-18 14:04 |
libladr4_0.0.200902a-2_amd64.deb | 237K | 2009-May-18 16:04 |
libladr4_0.0.200911a-2_i386.deb | 197K | 2013-May-25 19:03 |
libladr4_0.0.200911a-2_amd64.deb | 194K | 2013-May-25 19:03 |
libladr4_0.0.200911a-2.1build1_i386.deb | 185K | 2018-Apr-04 21:14 |
libladr4_0.0.200911a-2.1_i386.deb | 182K | 2014-Oct-24 21:38 |
libladr4_0.0.200911a-2.1build1_amd64.deb | 164K | 2018-Apr-04 21:23 |
libladr4_0.0.200911a-2.1_amd64.deb | 162K | 2014-Oct-24 21:36 |
ladr4-apps_0.0.200911a-2.1build1_amd64.deb | 134K | 2018-Apr-04 21:23 |
ladr4-apps_0.0.200911a-2.1build1_i386.deb | 131K | 2018-Apr-04 21:14 |
ladr4-apps_0.0.200911a-2.1_amd64.deb | 126K | 2014-Oct-24 21:36 |
prover9_0.0.200902a-2_amd64.deb | 126K | 2009-May-18 16:04 |
prover9_0.0.200902a-2_i386.deb | 119K | 2009-May-18 14:04 |
ladr4-apps_0.0.200911a-2.1_i386.deb | 117K | 2014-Oct-24 21:38 |
prover9_0.0.200911a-2_amd64.deb | 96K | 2013-May-25 19:03 |
prover9_0.0.200911a-2_i386.deb | 89K | 2013-May-25 19:03 |
prover9_0.0.200911a-2.1build1_i386.deb | 83K | 2018-Apr-04 21:14 |
prover9_0.0.200911a-2.1_i386.deb | 76K | 2014-Oct-24 21:38 |
prover9_0.0.200911a-2.1build1_amd64.deb | 76K | 2018-Apr-04 21:23 |
prover9_0.0.200911a-2.1_amd64.deb | 74K | 2014-Oct-24 21:36 |
ladr_0.0.200911a-2.debian.tar.gz | 22K | 2013-May-25 17:33 |
ladr_0.0.200911a-2.1build1.debian.tar.xz | 19K | 2018-Apr-04 21:14 |
ladr_0.0.200911a-2.1.debian.tar.xz | 19K | 2014-Oct-24 09:05 |
ladr_0.0.200902a-2.diff.gz | 17K | 2009-May-18 12:04 |
ladr_0.0.200911a-2.1build1.dsc | 2123 | 2018-Apr-04 21:14 |
ladr_0.0.200911a-2.1.dsc | 1337 | 2014-Oct-24 09:05 |
ladr_0.0.200911a-2.dsc | 1301 | 2013-May-25 17:33 |
ladr_0.0.200902a-2.dsc | 1161 | 2009-May-18 12:04 |