| Parent Directory/ | | - | Directory |
| ladr4-apps_0.0.200911a-2.1_amd64.deb | 2014-Oct-25 05:36:56 | 125.6K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2.1_i386.deb | 2014-Oct-25 05:38:27 | 117.2K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2.1build1_amd64.deb | 2018-Apr-05 05:23:47 | 133.9K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2.1build1_i386.deb | 2018-Apr-05 05:14:36 | 130.8K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2_amd64.deb | 2013-May-26 03:03:28 | 314.3K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2_i386.deb | 2013-May-26 03:03:41 | 298.1K | application/vnd.debian.binary-package |
| ladr_0.0.200911a-2.1.debian.tar.xz | 2014-Oct-24 17:05:21 | 18.9K | application/x-xz |
| ladr_0.0.200911a-2.1.dsc | 2014-Oct-24 17:05:21 | 1.3K | application/octet-stream |
| ladr_0.0.200911a-2.1build1.debian.tar.xz | 2018-Apr-05 05:14:06 | 19.0K | application/x-xz |
| ladr_0.0.200911a-2.1build1.dsc | 2018-Apr-05 05:14:06 | 2.0K | application/octet-stream |
| ladr_0.0.200911a-2.debian.tar.gz | 2013-May-26 01:33:41 | 21.9K | application/gzip |
| ladr_0.0.200911a-2.dsc | 2013-May-26 01:33:41 | 1.2K | application/octet-stream |
| ladr_0.0.200911a.orig.tar.gz | 2013-May-26 01:33:41 | 1.7M | application/gzip |
| libladr-dev_0.0.200911a-2.1_amd64.deb | 2014-Oct-25 05:36:55 | 248.2K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2.1_i386.deb | 2014-Oct-25 05:38:27 | 256.1K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2.1build1_amd64.deb | 2018-Apr-05 05:23:47 | 255.8K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2.1build1_i386.deb | 2018-Apr-05 05:14:36 | 280.5K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2_amd64.deb | 2013-May-26 03:03:28 | 349.4K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2_i386.deb | 2013-May-26 03:03:41 | 328.8K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1_amd64.deb | 2014-Oct-25 05:36:56 | 161.9K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1_i386.deb | 2014-Oct-25 05:38:27 | 182.0K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1build1_amd64.deb | 2018-Apr-05 05:23:47 | 163.7K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1build1_i386.deb | 2018-Apr-05 05:14:36 | 184.6K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2_amd64.deb | 2013-May-26 03:03:28 | 193.9K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2_i386.deb | 2013-May-26 03:03:41 | 197.2K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1_amd64.deb | 2014-Oct-25 05:36:56 | 73.6K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1_i386.deb | 2014-Oct-25 05:38:28 | 76.1K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1build1_amd64.deb | 2018-Apr-05 05:23:47 | 75.9K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1build1_i386.deb | 2018-Apr-05 05:14:36 | 83.3K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2_amd64.deb | 2013-May-26 03:03:27 | 95.6K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2_i386.deb | 2013-May-26 03:03:40 | 89.1K | application/vnd.debian.binary-package |