注册用户享1倍加速下载 立即注册
/mirrors_os/ubuntu/pool/universe/l/ladr/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr_0.0.200911a-2.debian.tar.gz22.0 KiB2013-May-26 01:33
ladr_0.0.200911a-2.dsc1.3 KiB2013-May-26 01:33
ladr_0.0.200911a.orig.tar.gz1.7 MiB2013-May-26 01:33
prover9_0.0.200911a-2_amd64.deb95.7 KiB2013-May-26 03:03
ladr4-apps_0.0.200911a-2_amd64.deb314.3 KiB2013-May-26 03:03
libladr-dev_0.0.200911a-2_amd64.deb349.5 KiB2013-May-26 03:03
libladr4_0.0.200911a-2_amd64.deb193.9 KiB2013-May-26 03:03
prover9_0.0.200911a-2_i386.deb89.1 KiB2013-May-26 03:03
ladr4-apps_0.0.200911a-2_i386.deb298.1 KiB2013-May-26 03:03
libladr-dev_0.0.200911a-2_i386.deb328.8 KiB2013-May-26 03:03
libladr4_0.0.200911a-2_i386.deb197.2 KiB2013-May-26 03:03
ladr_0.0.200911a-2.1.debian.tar.xz18.9 KiB2014-Oct-24 17:05
ladr_0.0.200911a-2.1.dsc1.3 KiB2014-Oct-24 17:05
libladr-dev_0.0.200911a-2.1_amd64.deb248.3 KiB2014-Oct-25 05:36
ladr4-apps_0.0.200911a-2.1_amd64.deb125.6 KiB2014-Oct-25 05:36
libladr4_0.0.200911a-2.1_amd64.deb162.0 KiB2014-Oct-25 05:36
prover9_0.0.200911a-2.1_amd64.deb73.6 KiB2014-Oct-25 05:36
ladr4-apps_0.0.200911a-2.1_i386.deb117.3 KiB2014-Oct-25 05:38
libladr-dev_0.0.200911a-2.1_i386.deb256.1 KiB2014-Oct-25 05:38
libladr4_0.0.200911a-2.1_i386.deb182.1 KiB2014-Oct-25 05:38
prover9_0.0.200911a-2.1_i386.deb76.2 KiB2014-Oct-25 05:38
ladr_0.0.200911a-2.1build1.debian.tar.xz19.0 KiB2018-Apr-05 05:14
ladr_0.0.200911a-2.1build1.dsc2.1 KiB2018-Apr-05 05:14
ladr4-apps_0.0.200911a-2.1build1_i386.deb130.9 KiB2018-Apr-05 05:14
libladr-dev_0.0.200911a-2.1build1_i386.deb280.6 KiB2018-Apr-05 05:14
libladr4_0.0.200911a-2.1build1_i386.deb184.7 KiB2018-Apr-05 05:14
prover9_0.0.200911a-2.1build1_i386.deb83.4 KiB2018-Apr-05 05:14
ladr4-apps_0.0.200911a-2.1build1_amd64.deb134.0 KiB2018-Apr-05 05:23
libladr-dev_0.0.200911a-2.1build1_amd64.deb255.8 KiB2018-Apr-05 05:23
libladr4_0.0.200911a-2.1build1_amd64.deb163.7 KiB2018-Apr-05 05:23
prover9_0.0.200911a-2.1build1_amd64.deb75.9 KiB2018-Apr-05 05:23