/ubuntu/pool/universe/l/ladr/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
ladr4-apps_0.0.200911a-2.1_amd64.deb	125.6 KiB	2014-Oct-24 21:36
ladr4-apps_0.0.200911a-2.1_i386.deb	117.3 KiB	2014-Oct-24 21:38
ladr4-apps_0.0.200911a-2.1build1_amd64.deb	134.0 KiB	2018-Apr-04 21:23
ladr4-apps_0.0.200911a-2.1build1_i386.deb	130.9 KiB	2018-Apr-04 21:14
ladr4-apps_0.0.200911a-2_amd64.deb	314.3 KiB	2013-May-25 19:03
ladr4-apps_0.0.200911a-2_i386.deb	298.1 KiB	2013-May-25 19:03
ladr_0.0.200911a-2.1.debian.tar.xz	18.9 KiB	2014-Oct-24 09:05
ladr_0.0.200911a-2.1.dsc	1.3 KiB	2014-Oct-24 09:05
ladr_0.0.200911a-2.1build1.debian.tar.xz	19.0 KiB	2018-Apr-04 21:14
ladr_0.0.200911a-2.1build1.dsc	2.1 KiB	2018-Apr-04 21:14
ladr_0.0.200911a-2.debian.tar.gz	22.0 KiB	2013-May-25 17:33
ladr_0.0.200911a-2.dsc	1.3 KiB	2013-May-25 17:33
ladr_0.0.200911a.orig.tar.gz	1.7 MiB	2013-May-25 17:33
libladr-dev_0.0.200911a-2.1_amd64.deb	248.3 KiB	2014-Oct-24 21:36
libladr-dev_0.0.200911a-2.1_i386.deb	256.1 KiB	2014-Oct-24 21:38
libladr-dev_0.0.200911a-2.1build1_amd64.deb	255.8 KiB	2018-Apr-04 21:23
libladr-dev_0.0.200911a-2.1build1_i386.deb	280.6 KiB	2018-Apr-04 21:14
libladr-dev_0.0.200911a-2_amd64.deb	349.5 KiB	2013-May-25 19:03
libladr-dev_0.0.200911a-2_i386.deb	328.8 KiB	2013-May-25 19:03
libladr4_0.0.200911a-2.1_amd64.deb	162.0 KiB	2014-Oct-24 21:36
libladr4_0.0.200911a-2.1_i386.deb	182.1 KiB	2014-Oct-24 21:38
libladr4_0.0.200911a-2.1build1_amd64.deb	163.7 KiB	2018-Apr-04 21:23
libladr4_0.0.200911a-2.1build1_i386.deb	184.7 KiB	2018-Apr-04 21:14
libladr4_0.0.200911a-2_amd64.deb	193.9 KiB	2013-May-25 19:03
libladr4_0.0.200911a-2_i386.deb	197.2 KiB	2013-May-25 19:03
prover9_0.0.200911a-2.1_amd64.deb	73.6 KiB	2014-Oct-24 21:36
prover9_0.0.200911a-2.1_i386.deb	76.2 KiB	2014-Oct-24 21:38
prover9_0.0.200911a-2.1build1_amd64.deb	75.9 KiB	2018-Apr-04 21:23
prover9_0.0.200911a-2.1build1_i386.deb	83.4 KiB	2018-Apr-04 21:14
prover9_0.0.200911a-2_amd64.deb	95.7 KiB	2013-May-25 19:03
prover9_0.0.200911a-2_i386.deb	89.1 KiB	2013-May-25 19:03