Globalintermedia
Miror Server PT Global Intermedia Nusantara

Index of /debian/pool/main/l/ladr/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr_0.0.200911a.orig.tar.gz 17957502012-Dec-12 19:04
ladr_0.0.200911a-2.1.dsc 13372014-Oct-09 10:53
ladr_0.0.200911a-2.1.debian.tar.xz 193882014-Oct-09 10:53
libladr-dev_0.0.200911a-2.1+b2_arm64.deb 2581322017-Feb-24 18:12
prover9_0.0.200911a-2.1+b2_arm64.deb 927582017-Feb-24 18:12
libladr4_0.0.200911a-2.1+b2_arm64.deb 1569482017-Feb-24 18:12
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 1300842017-Feb-24 18:12
libladr4_0.0.200911a-2.1+b2_amd64.deb 1882602017-Feb-24 18:43
prover9_0.0.200911a-2.1+b2_amd64.deb 1028442017-Feb-24 18:43
libladr-dev_0.0.200911a-2.1+b2_amd64.deb 2848282017-Feb-24 18:43
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 1598682017-Feb-24 18:43
prover9_0.0.200911a-2.1+b2_armhf.deb 965622017-Feb-24 18:58
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 1330462017-Feb-24 18:58
libladr-dev_0.0.200911a-2.1+b2_armhf.deb 2592282017-Feb-24 18:58
libladr4_0.0.200911a-2.1+b2_armhf.deb 1588582017-Feb-24 18:58
libladr-dev_0.0.200911a-2.1+b2_i386.deb 3109422017-Feb-24 18:58
prover9_0.0.200911a-2.1+b2_i386.deb 1093422017-Feb-24 18:58
libladr4_0.0.200911a-2.1+b2_i386.deb 2109362017-Feb-24 18:58
ladr4-apps_0.0.200911a-2.1+b2_i386.deb 1566102017-Feb-24 18:58