Index of /pub/os/linux/ubuntu/pool/universe/l/ladr/

Filename	Modification time	Size
ladr4-apps_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36 CEST	126 KiB
ladr4-apps_0.0.200911a-2.1_i386.deb	2014-10-24 23:38 CEST	117 KiB
ladr4-apps_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23 CEST	134 KiB
ladr4-apps_0.0.200911a-2.1build1_i386.deb	2018-04-04 23:14 CEST	131 KiB
ladr4-apps_0.0.200911a-2_amd64.deb	2013-05-25 21:03 CEST	314 KiB
ladr4-apps_0.0.200911a-2_i386.deb	2013-05-25 21:03 CEST	298 KiB
ladr_0.0.200911a-2.1.debian.tar.xz	2014-10-24 11:05 CEST	19 KiB
ladr_0.0.200911a-2.1.dsc	2014-10-24 11:05 CEST	1337 B
ladr_0.0.200911a-2.1build1.debian.tar.xz	2018-04-04 23:14 CEST	19 KiB
ladr_0.0.200911a-2.1build1.dsc	2018-04-04 23:14 CEST	2123 B
ladr_0.0.200911a-2.debian.tar.gz	2013-05-25 19:33 CEST	22 KiB
ladr_0.0.200911a-2.dsc	2013-05-25 19:33 CEST	1301 B
ladr_0.0.200911a.orig.tar.gz	2013-05-25 19:33 CEST	1754 KiB
libladr-dev_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36 CEST	248 KiB
libladr-dev_0.0.200911a-2.1_i386.deb	2014-10-24 23:38 CEST	256 KiB
libladr-dev_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23 CEST	256 KiB
libladr-dev_0.0.200911a-2.1build1_i386.deb	2018-04-04 23:14 CEST	281 KiB
libladr-dev_0.0.200911a-2_amd64.deb	2013-05-25 21:03 CEST	349 KiB
libladr-dev_0.0.200911a-2_i386.deb	2013-05-25 21:03 CEST	329 KiB
libladr4_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36 CEST	162 KiB
libladr4_0.0.200911a-2.1_i386.deb	2014-10-24 23:38 CEST	182 KiB
libladr4_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23 CEST	164 KiB
libladr4_0.0.200911a-2.1build1_i386.deb	2018-04-04 23:14 CEST	185 KiB
libladr4_0.0.200911a-2_amd64.deb	2013-05-25 21:03 CEST	194 KiB
libladr4_0.0.200911a-2_i386.deb	2013-05-25 21:03 CEST	197 KiB
prover9_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36 CEST	74 KiB
prover9_0.0.200911a-2.1_i386.deb	2014-10-24 23:38 CEST	76 KiB
prover9_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23 CEST	76 KiB
prover9_0.0.200911a-2.1build1_i386.deb	2018-04-04 23:14 CEST	83 KiB
prover9_0.0.200911a-2_amd64.deb	2013-05-25 21:03 CEST	96 KiB
prover9_0.0.200911a-2_i386.deb	2013-05-25 21:03 CEST	89 KiB