| Parent Directory | | | Directory |
| ladr4-apps_0.0.200902a-2.1_amd64.deb | 2012-May-01 07:04:33 | 335.3K | application/octet-stream |
| ladr4-apps_0.0.200902a-2.1_i386.deb | 2012-May-01 03:35:59 | 321.1K | application/octet-stream |
| ladr4-apps_0.0.200902a-2_amd64.deb | 2009-May-18 12:04:31 | 365K | application/octet-stream |
| ladr4-apps_0.0.200902a-2_i386.deb | 2009-May-18 10:04:54 | 343K | application/octet-stream |
| ladr_0.0.200902a-2.1.diff.gz | 2012-Apr-30 19:54:55 | 17.7K | application/x-gzip |
| ladr_0.0.200902a-2.1.dsc | 2012-Apr-30 19:54:55 | 1.9K | application/octet-stream |
| ladr_0.0.200902a-2.diff.gz | 2009-May-18 08:04:52 | 16.8K | application/x-gzip |
| ladr_0.0.200902a-2.dsc | 2009-May-18 08:04:52 | 1.1K | application/octet-stream |
| ladr_0.0.200902a.orig.tar.gz | 2009-Apr-30 06:04:32 | 1.9M | application/x-gzip |
| libladr-dev_0.0.200902a-2.1_amd64.deb | 2012-May-01 07:04:33 | 378.6K | application/octet-stream |
| libladr-dev_0.0.200902a-2.1_i386.deb | 2012-May-01 03:35:59 | 356.4K | application/octet-stream |
| libladr-dev_0.0.200902a-2_amd64.deb | 2009-May-18 12:04:31 | 395.7K | application/octet-stream |
| libladr-dev_0.0.200902a-2_i386.deb | 2009-May-18 10:04:54 | 368.3K | application/octet-stream |
| libladr4_0.0.200902a-2.1_amd64.deb | 2012-May-01 07:04:32 | 215.3K | application/octet-stream |
| libladr4_0.0.200902a-2.1_i386.deb | 2012-May-01 03:35:59 | 221.3K | application/octet-stream |
| libladr4_0.0.200902a-2_amd64.deb | 2009-May-18 12:04:31 | 236.6K | application/octet-stream |
| libladr4_0.0.200902a-2_i386.deb | 2009-May-18 10:04:54 | 239.5K | application/octet-stream |
| prover9_0.0.200902a-2.1_amd64.deb | 2012-May-01 07:04:32 | 104.1K | application/octet-stream |
| prover9_0.0.200902a-2.1_i386.deb | 2012-May-01 03:35:58 | 98.4K | application/octet-stream |
| prover9_0.0.200902a-2_amd64.deb | 2009-May-18 12:04:30 | 125.6K | application/octet-stream |
| prover9_0.0.200902a-2_i386.deb | 2009-May-18 10:04:54 | 118.9K | application/octet-stream |