ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/l/ladr/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr_0.0.200911a-2.1.dsc 133709-Oct-2014 14:53
ladr_0.0.200911a-2.1.debian.tar.xz 19K09-Oct-2014 14:53
prover9_0.0.200911a-2.1+b2_arm64.deb 91K24-Feb-2017 22:12
prover9_0.0.200911a-2.1+b2_armhf.deb 94K24-Feb-2017 22:58
prover9_0.0.200911a-2.1+b2_amd64.deb 100K24-Feb-2017 22:43
prover9_0.0.200911a-2.1+b2_i386.deb 107K24-Feb-2017 22:58
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 127K24-Feb-2017 22:12
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 130K24-Feb-2017 22:58
ladr4-apps_0.0.200911a-2.1+b2_i386.deb 153K24-Feb-2017 22:58
libladr4_0.0.200911a-2.1+b2_arm64.deb 153K24-Feb-2017 22:12
libladr4_0.0.200911a-2.1+b2_armhf.deb 155K24-Feb-2017 22:58
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 156K24-Feb-2017 22:43
libladr4_0.0.200911a-2.1+b2_amd64.deb 184K24-Feb-2017 22:43
libladr4_0.0.200911a-2.1+b2_i386.deb 206K24-Feb-2017 22:58
libladr-dev_0.0.200911a-2.1+b2_arm64.deb 252K24-Feb-2017 22:12
libladr-dev_0.0.200911a-2.1+b2_armhf.deb 253K24-Feb-2017 22:58
libladr-dev_0.0.200911a-2.1+b2_amd64.deb 278K24-Feb-2017 22:43
libladr-dev_0.0.200911a-2.1+b2_i386.deb 304K24-Feb-2017 22:58
ladr_0.0.200911a.orig.tar.gz 2M12-Dec-2012 23:04