Parent directory/ | - | - |
ladr_0.0.200911a.orig.tar.gz | 1795750 | 2013-May-25 19:33 |
ladr_0.0.200911a-2.debian.tar.gz | 22524 | 2013-May-25 19:33 |
ladr_0.0.200911a-2.dsc | 1301 | 2013-May-25 19:33 |
prover9_0.0.200911a-2_amd64.deb | 97956 | 2013-May-25 21:03 |
libladr4_0.0.200911a-2_amd64.deb | 198556 | 2013-May-25 21:03 |
ladr4-apps_0.0.200911a-2_amd64.deb | 321870 | 2013-May-25 21:03 |
libladr-dev_0.0.200911a-2_amd64.deb | 357856 | 2013-May-25 21:03 |
prover9_0.0.200911a-2_i386.deb | 91272 | 2013-May-25 21:03 |
ladr4-apps_0.0.200911a-2_i386.deb | 305270 | 2013-May-25 21:03 |
libladr-dev_0.0.200911a-2_i386.deb | 336714 | 2013-May-25 21:03 |
libladr4_0.0.200911a-2_i386.deb | 201982 | 2013-May-25 21:03 |
ladr_0.0.200911a-2.1.debian.tar.xz | 19388 | 2014-Oct-24 11:05 |
ladr_0.0.200911a-2.1.dsc | 1337 | 2014-Oct-24 11:05 |
libladr-dev_0.0.200911a-2.1_amd64.deb | 254236 | 2014-Oct-24 23:36 |
prover9_0.0.200911a-2.1_amd64.deb | 75358 | 2014-Oct-24 23:36 |
ladr4-apps_0.0.200911a-2.1_amd64.deb | 128600 | 2014-Oct-24 23:36 |
libladr4_0.0.200911a-2.1_amd64.deb | 165864 | 2014-Oct-24 23:36 |
ladr4-apps_0.0.200911a-2.1_i386.deb | 120092 | 2014-Oct-24 23:38 |
libladr-dev_0.0.200911a-2.1_i386.deb | 262290 | 2014-Oct-24 23:38 |
libladr4_0.0.200911a-2.1_i386.deb | 186424 | 2014-Oct-24 23:38 |
prover9_0.0.200911a-2.1_i386.deb | 78004 | 2014-Oct-24 23:38 |
ladr_0.0.200911a-2.1build1.debian.tar.xz | 19468 | 2018-Apr-04 23:14 |
ladr_0.0.200911a-2.1build1.dsc | 2123 | 2018-Apr-04 23:14 |
ladr4-apps_0.0.200911a-2.1build1_i386.deb | 134004 | 2018-Apr-04 23:14 |
libladr-dev_0.0.200911a-2.1build1_i386.deb | 287308 | 2018-Apr-04 23:14 |
prover9_0.0.200911a-2.1build1_i386.deb | 85372 | 2018-Apr-04 23:14 |
libladr4_0.0.200911a-2.1build1_i386.deb | 189108 | 2018-Apr-04 23:14 |
prover9_0.0.200911a-2.1build1_amd64.deb | 77772 | 2018-Apr-04 23:23 |
libladr4_0.0.200911a-2.1build1_amd64.deb | 167632 | 2018-Apr-04 23:23 |
libladr-dev_0.0.200911a-2.1build1_amd64.deb | 261924 | 2018-Apr-04 23:23 |
ladr4-apps_0.0.200911a-2.1build1_amd64.deb | 137200 | 2018-Apr-04 23:23 |