Index of /ubuntu/pool/universe/l/ladr/

Name Last Modified Size Type
Parent Directory  Directory
ladr4-apps_0.0.200902a-2_amd64.deb2009-May-18 12:04:31365K application/octet-stream
ladr4-apps_0.0.200902a-2_i386.deb2009-May-18 10:04:54343K application/octet-stream
ladr4-apps_0.0.200911a-2_amd64.deb2013-May-25 15:03:28314.3K application/octet-stream
ladr4-apps_0.0.200911a-2_i386.deb2013-May-25 15:03:41298.1K application/octet-stream
ladr_0.0.200902a-2.diff.gz2009-May-18 08:04:5216.8K application/x-gzip
ladr_0.0.200902a-2.dsc2009-May-18 08:04:521.1K application/octet-stream
ladr_0.0.200902a.orig.tar.gz2009-Apr-30 06:04:321.9M application/x-gzip
ladr_0.0.200911a-2.debian.tar.gz2013-May-25 13:33:4122K application/x-gzip
ladr_0.0.200911a-2.dsc2013-May-25 13:33:411.3K application/octet-stream
ladr_0.0.200911a.orig.tar.gz2013-May-25 13:33:411.7M application/x-gzip
libladr-dev_0.0.200902a-2_amd64.deb2009-May-18 12:04:31395.7K application/octet-stream
libladr-dev_0.0.200902a-2_i386.deb2009-May-18 10:04:54368.3K application/octet-stream
libladr-dev_0.0.200911a-2_amd64.deb2013-May-25 15:03:28349.5K application/octet-stream
libladr-dev_0.0.200911a-2_i386.deb2013-May-25 15:03:41328.8K application/octet-stream
libladr4_0.0.200902a-2_amd64.deb2009-May-18 12:04:31236.6K application/octet-stream
libladr4_0.0.200902a-2_i386.deb2009-May-18 10:04:54239.5K application/octet-stream
libladr4_0.0.200911a-2_amd64.deb2013-May-25 15:03:28193.9K application/octet-stream
libladr4_0.0.200911a-2_i386.deb2013-May-25 15:03:41197.2K application/octet-stream
prover9_0.0.200902a-2_amd64.deb2009-May-18 12:04:30125.6K application/octet-stream
prover9_0.0.200902a-2_i386.deb2009-May-18 10:04:54118.9K application/octet-stream
prover9_0.0.200911a-2_amd64.deb2013-May-25 15:03:2795.7K application/octet-stream
prover9_0.0.200911a-2_i386.deb2013-May-25 15:03:4089.1K application/octet-stream