Name
Last modified
Size
Description
Parent Directory
-
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 10:43
156K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb
2017-02-24 10:12
127K
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb
2017-02-24 10:58
130K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb
2017-02-24 10:58
153K
ladr_0.0.200911a-2.1.debian.tar.xz
2014-10-09 03:53
19K
ladr_0.0.200911a-2.1.dsc
2014-10-09 03:53
1.3K
ladr_0.0.200911a.orig.tar.gz
2012-12-12 11:04
1.7M
libladr-dev_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 10:43
278K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb
2017-02-24 10:12
252K
libladr-dev_0.0.200911a-2.1+b2_armhf.deb
2017-02-24 10:58
253K
libladr-dev_0.0.200911a-2.1+b2_i386.deb
2017-02-24 10:58
304K
libladr4_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 10:43
184K
libladr4_0.0.200911a-2.1+b2_arm64.deb
2017-02-24 10:12
153K
libladr4_0.0.200911a-2.1+b2_armhf.deb
2017-02-24 10:58
155K
libladr4_0.0.200911a-2.1+b2_i386.deb
2017-02-24 10:58
206K
prover9_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 10:43
100K
prover9_0.0.200911a-2.1+b2_arm64.deb
2017-02-24 10:12
91K
prover9_0.0.200911a-2.1+b2_armhf.deb
2017-02-24 10:58
94K
prover9_0.0.200911a-2.1+b2_i386.deb
2017-02-24 10:58
107K
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}