../ | | - | Directory |
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 18:43:20 | 156.1K | application/vnd.debian.binary-package |
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb | 2017-Feb-24 18:12:42 | 127.0K | application/vnd.debian.binary-package |
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb | 2017-Feb-24 18:58:35 | 129.9K | application/vnd.debian.binary-package |
ladr4-apps_0.0.200911a-2.1+b2_i386.deb | 2017-Feb-24 18:58:38 | 152.9K | application/vnd.debian.binary-package |
ladr_0.0.200911a-2.1.debian.tar.xz | 2014-Oct-09 11:53:00 | 18.9K | application/x-xz |
ladr_0.0.200911a-2.1.dsc | 2014-Oct-09 11:53:00 | 1.3K | application/octet-stream |
ladr_0.0.200911a.orig.tar.gz | 2012-Dec-12 19:04:01 | 1.7M | application/x-gtar-compressed |
libladr-dev_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 18:43:20 | 278.1K | application/vnd.debian.binary-package |
libladr-dev_0.0.200911a-2.1+b2_arm64.deb | 2017-Feb-24 18:12:42 | 252.0K | application/vnd.debian.binary-package |
libladr-dev_0.0.200911a-2.1+b2_armhf.deb | 2017-Feb-24 18:58:35 | 253.1K | application/vnd.debian.binary-package |
libladr-dev_0.0.200911a-2.1+b2_i386.deb | 2017-Feb-24 18:58:38 | 303.6K | application/vnd.debian.binary-package |
libladr4_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 18:43:20 | 183.8K | application/vnd.debian.binary-package |
libladr4_0.0.200911a-2.1+b2_arm64.deb | 2017-Feb-24 18:12:42 | 153.2K | application/vnd.debian.binary-package |
libladr4_0.0.200911a-2.1+b2_armhf.deb | 2017-Feb-24 18:58:35 | 155.1K | application/vnd.debian.binary-package |
libladr4_0.0.200911a-2.1+b2_i386.deb | 2017-Feb-24 18:58:38 | 205.9K | application/vnd.debian.binary-package |
prover9_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 18:43:20 | 100.4K | application/vnd.debian.binary-package |
prover9_0.0.200911a-2.1+b2_arm64.deb | 2017-Feb-24 18:12:42 | 90.5K | application/vnd.debian.binary-package |
prover9_0.0.200911a-2.1+b2_armhf.deb | 2017-Feb-24 18:58:35 | 94.3K | application/vnd.debian.binary-package |
prover9_0.0.200911a-2.1+b2_i386.deb | 2017-Feb-24 18:58:38 | 106.7K | application/vnd.debian.binary-package |