Index of /ubuntu/pool/universe/l/ladr/
../
ladr4-apps_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 128600
ladr4-apps_0.0.200911a-2.1_i386.deb 24-Oct-2014 21:38 120092
ladr4-apps_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 137200
ladr4-apps_0.0.200911a-2.1build1_i386.deb 04-Apr-2018 21:14 134004
libladr-dev_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 254236
libladr-dev_0.0.200911a-2.1_i386.deb 24-Oct-2014 21:38 262290
libladr-dev_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 261924
libladr-dev_0.0.200911a-2.1build1_i386.deb 04-Apr-2018 21:14 287308
libladr4_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 165864
libladr4_0.0.200911a-2.1_i386.deb 24-Oct-2014 21:38 186424
libladr4_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 167632
libladr4_0.0.200911a-2.1build1_i386.deb 04-Apr-2018 21:14 189108
prover9_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 75358
prover9_0.0.200911a-2.1_i386.deb 24-Oct-2014 21:38 78004
prover9_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 77772
prover9_0.0.200911a-2.1build1_i386.deb 04-Apr-2018 21:14 85372