ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/l/ladr/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
prover9_0.0.200911a-2_i386.deb 89K25-May-2013 23:03
prover9_0.0.200911a-2_amd64.deb 96K25-May-2013 23:03
prover9_0.0.200911a-2.1build1_i386.deb 83K05-Apr-2018 01:14
prover9_0.0.200911a-2.1build1_amd64.deb 76K05-Apr-2018 01:23
prover9_0.0.200911a-2.1_i386.deb 76K25-Oct-2014 01:38
prover9_0.0.200911a-2.1_amd64.deb 74K25-Oct-2014 01:36
libladr4_0.0.200911a-2_i386.deb 197K25-May-2013 23:03
libladr4_0.0.200911a-2_amd64.deb 194K25-May-2013 23:03
libladr4_0.0.200911a-2.1build1_i386.deb 185K05-Apr-2018 01:14
libladr4_0.0.200911a-2.1build1_amd64.deb 164K05-Apr-2018 01:23
libladr4_0.0.200911a-2.1_i386.deb 182K25-Oct-2014 01:38
libladr4_0.0.200911a-2.1_amd64.deb 162K25-Oct-2014 01:36
libladr-dev_0.0.200911a-2_i386.deb 329K25-May-2013 23:03
libladr-dev_0.0.200911a-2_amd64.deb 349K25-May-2013 23:03
libladr-dev_0.0.200911a-2.1build1_i386.deb 281K05-Apr-2018 01:14
libladr-dev_0.0.200911a-2.1build1_amd64.deb 256K05-Apr-2018 01:23
libladr-dev_0.0.200911a-2.1_i386.deb 256K25-Oct-2014 01:38
libladr-dev_0.0.200911a-2.1_amd64.deb 248K25-Oct-2014 01:36
ladr_0.0.200911a.orig.tar.gz 2M25-May-2013 21:33
ladr_0.0.200911a-2.dsc 130125-May-2013 21:33
ladr_0.0.200911a-2.debian.tar.gz 22K25-May-2013 21:33
ladr_0.0.200911a-2.1build1.dsc 212305-Apr-2018 01:14
ladr_0.0.200911a-2.1build1.debian.tar.xz 19K05-Apr-2018 01:14
ladr_0.0.200911a-2.1.dsc 133724-Oct-2014 13:05
ladr_0.0.200911a-2.1.debian.tar.xz 19K24-Oct-2014 13:05
ladr4-apps_0.0.200911a-2_i386.deb 298K25-May-2013 23:03
ladr4-apps_0.0.200911a-2_amd64.deb 314K25-May-2013 23:03
ladr4-apps_0.0.200911a-2.1build1_i386.deb 131K05-Apr-2018 01:14
ladr4-apps_0.0.200911a-2.1build1_amd64.deb 134K05-Apr-2018 01:23
ladr4-apps_0.0.200911a-2.1_i386.deb 117K25-Oct-2014 01:38
ladr4-apps_0.0.200911a-2.1_amd64.deb 126K25-Oct-2014 01:36