| ../ | | - | Directory |
| ladr4-apps_0.0.200902a-2.1_amd64.deb | 2012-May-01 13:04:33 | 335.3K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200902a-2.1_i386.deb | 2012-May-01 09:35:59 | 321.1K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200902a-2_amd64.deb | 2009-May-18 18:04:31 | 365.0K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200902a-2_i386.deb | 2009-May-18 16:04:54 | 342.9K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2_amd64.deb | 2013-May-25 21:03:28 | 314.3K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2_i386.deb | 2013-May-25 21:03:41 | 298.1K | application/vnd.debian.binary-package |
| ladr_0.0.200902a-2.1.diff.gz | 2012-May-01 01:54:55 | 17.6K | application/gzip |
| ladr_0.0.200902a-2.1.dsc | 2012-May-01 01:54:55 | 1.9K | application/octet-stream |
| ladr_0.0.200902a-2.diff.gz | 2009-May-18 14:04:52 | 16.8K | application/gzip |
| ladr_0.0.200902a-2.dsc | 2009-May-18 14:04:52 | 1.1K | application/octet-stream |
| ladr_0.0.200902a.orig.tar.gz | 2009-Apr-30 12:04:32 | 1.9M | application/gzip |
| ladr_0.0.200911a-2.debian.tar.gz | 2013-May-25 19:33:41 | 21.9K | application/gzip |
| ladr_0.0.200911a-2.dsc | 2013-May-25 19:33:41 | 1.2K | application/octet-stream |
| ladr_0.0.200911a.orig.tar.gz | 2013-May-25 19:33:41 | 1.7M | application/gzip |
| libladr-dev_0.0.200902a-2.1_amd64.deb | 2012-May-01 13:04:33 | 378.5K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200902a-2.1_i386.deb | 2012-May-01 09:35:59 | 356.4K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200902a-2_amd64.deb | 2009-May-18 18:04:31 | 395.7K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200902a-2_i386.deb | 2009-May-18 16:04:54 | 368.3K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2_amd64.deb | 2013-May-25 21:03:28 | 349.4K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2_i386.deb | 2013-May-25 21:03:41 | 328.8K | application/vnd.debian.binary-package |
| libladr4_0.0.200902a-2.1_amd64.deb | 2012-May-01 13:04:32 | 215.2K | application/vnd.debian.binary-package |
| libladr4_0.0.200902a-2.1_i386.deb | 2012-May-01 09:35:59 | 221.3K | application/vnd.debian.binary-package |
| libladr4_0.0.200902a-2_amd64.deb | 2009-May-18 18:04:31 | 236.6K | application/vnd.debian.binary-package |
| libladr4_0.0.200902a-2_i386.deb | 2009-May-18 16:04:54 | 239.5K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2_amd64.deb | 2013-May-25 21:03:28 | 193.9K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2_i386.deb | 2013-May-25 21:03:41 | 197.2K | application/vnd.debian.binary-package |
| prover9_0.0.200902a-2.1_amd64.deb | 2012-May-01 13:04:32 | 104.1K | application/vnd.debian.binary-package |
| prover9_0.0.200902a-2.1_i386.deb | 2012-May-01 09:35:58 | 98.3K | application/vnd.debian.binary-package |
| prover9_0.0.200902a-2_amd64.deb | 2009-May-18 18:04:30 | 125.5K | application/vnd.debian.binary-package |
| prover9_0.0.200902a-2_i386.deb | 2009-May-18 16:04:54 | 118.9K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2_amd64.deb | 2013-May-25 21:03:27 | 95.6K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2_i386.deb | 2013-May-25 21:03:40 | 89.1K | application/vnd.debian.binary-package |