Index of /ubuntu-ports/pool/universe/l/ladr

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] libladr4_0.0.200911a-2.1build1_s390x.deb      2018-04-04 23:14  161K  
[   ] libladr-dev_0.0.200911a-2.1build1_s390x.deb   2018-04-04 23:14  254K  
[   ] prover9_0.0.200911a-2.1build1_s390x.deb       2018-04-04 23:14   75K  
[   ] ladr4-apps_0.0.200911a-2.1build1_s390x.deb    2018-04-04 23:14  120K  
[   ] ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb  2018-04-04 23:14  115K  
[   ] libladr-dev_0.0.200911a-2.1build1_ppc64el.deb 2018-04-04 23:14  255K  
[   ] libladr4_0.0.200911a-2.1build1_ppc64el.deb    2018-04-04 23:14  155K  
[   ] prover9_0.0.200911a-2.1build1_ppc64el.deb     2018-04-04 23:14   73K  
[   ] libladr-dev_0.0.200911a-2.1build1_armhf.deb   2018-04-04 23:14  233K  
[   ] libladr4_0.0.200911a-2.1build1_armhf.deb      2018-04-04 23:14  135K  
[   ] prover9_0.0.200911a-2.1build1_armhf.deb       2018-04-04 23:14   70K  
[   ] ladr4-apps_0.0.200911a-2.1build1_armhf.deb    2018-04-04 23:14  107K  
[   ] prover9_0.0.200911a-2.1build1_arm64.deb       2018-04-04 23:14   68K  
[   ] ladr4-apps_0.0.200911a-2.1build1_arm64.deb    2018-04-04 23:14  107K  
[   ] libladr4_0.0.200911a-2.1build1_arm64.deb      2018-04-04 23:14  137K  
[   ] libladr-dev_0.0.200911a-2.1build1_arm64.deb   2018-04-04 23:14  236K  
[TXT] ladr_0.0.200911a-2.1build1.dsc                2018-04-04 23:14  2.1K  
[   ] ladr_0.0.200911a-2.1build1.debian.tar.xz      2018-04-04 23:14   19K  
[   ] ladr4-apps_0.0.200911a-2.1_s390x.deb          2015-12-04 10:22  120K  
[   ] prover9_0.0.200911a-2.1_s390x.deb             2015-12-04 10:22   74K  
[   ] libladr-dev_0.0.200911a-2.1_s390x.deb         2015-12-04 10:22  252K  
[   ] libladr4_0.0.200911a-2.1_s390x.deb            2015-12-04 10:22  160K  
[   ] libladr-dev_0.0.200911a-2.1_arm64.deb         2014-10-25 06:01  229K  
[   ] ladr4-apps_0.0.200911a-2.1_arm64.deb          2014-10-25 06:01  113K  
[   ] prover9_0.0.200911a-2.1_arm64.deb             2014-10-25 06:01   69K  
[   ] libladr4_0.0.200911a-2.1_arm64.deb            2014-10-25 06:01  133K  
[   ] ladr4-apps_0.0.200911a-2.1_ppc64el.deb        2014-10-24 23:39  109K  
[   ] prover9_0.0.200911a-2.1_ppc64el.deb           2014-10-24 23:39   68K  
[   ] libladr-dev_0.0.200911a-2.1_ppc64el.deb       2014-10-24 23:39  245K  
[   ] libladr4_0.0.200911a-2.1_ppc64el.deb          2014-10-24 23:39  146K  
[   ] prover9_0.0.200911a-2.1_powerpc.deb           2014-10-24 21:49   65K  
[   ] libladr4_0.0.200911a-2.1_powerpc.deb          2014-10-24 21:49  141K  
[   ] libladr-dev_0.0.200911a-2.1_powerpc.deb       2014-10-24 21:49  228K  
[   ] ladr4-apps_0.0.200911a-2.1_powerpc.deb        2014-10-24 21:49   93K  
[   ] prover9_0.0.200911a-2.1_armhf.deb             2014-10-24 17:16   68K  
[   ] libladr4_0.0.200911a-2.1_armhf.deb            2014-10-24 17:16  135K  
[   ] ladr4-apps_0.0.200911a-2.1_armhf.deb          2014-10-24 17:16  106K  
[   ] libladr-dev_0.0.200911a-2.1_armhf.deb         2014-10-24 17:16  223K  
[TXT] ladr_0.0.200911a-2.1.dsc                      2014-10-24 11:05  1.3K  
[   ] ladr_0.0.200911a-2.1.debian.tar.xz            2014-10-24 11:05   19K  
[   ] prover9_0.0.200911a-2_ppc64el.deb             2014-02-19 05:09   67K  
[   ] libladr-dev_0.0.200911a-2_ppc64el.deb         2014-02-19 05:08  241K  
[   ] ladr4-apps_0.0.200911a-2_ppc64el.deb          2014-02-19 05:08  106K  
[   ] libladr4_0.0.200911a-2_ppc64el.deb            2014-02-19 05:08  141K  
[   ] ladr4-apps_0.0.200911a-2_arm64.deb            2013-10-25 20:03  308K  
[   ] prover9_0.0.200911a-2_arm64.deb               2013-10-25 20:03   95K  
[   ] libladr4_0.0.200911a-2_arm64.deb              2013-10-25 20:03  167K  
[   ] libladr-dev_0.0.200911a-2_arm64.deb           2013-10-25 20:03  336K  
[   ] prover9_0.0.200911a-2_powerpc.deb             2013-05-25 23:34   89K  
[   ] libladr4_0.0.200911a-2_powerpc.deb            2013-05-25 23:34  188K  
[   ] libladr-dev_0.0.200911a-2_powerpc.deb         2013-05-25 23:34  336K  
[   ] ladr4-apps_0.0.200911a-2_powerpc.deb          2013-05-25 23:34  297K  
[   ] prover9_0.0.200911a-2_armhf.deb               2013-05-25 21:03   89K  
[   ] libladr4_0.0.200911a-2_armhf.deb              2013-05-25 21:03  156K  
[   ] libladr-dev_0.0.200911a-2_armhf.deb           2013-05-25 21:03  314K  
[   ] ladr4-apps_0.0.200911a-2_armhf.deb            2013-05-25 21:03  286K  
[   ] ladr_0.0.200911a.orig.tar.gz                  2013-05-25 19:33  1.7M  
[TXT] ladr_0.0.200911a-2.dsc                        2013-05-25 19:33  1.3K  
[   ] ladr_0.0.200911a-2.debian.tar.gz              2013-05-25 19:33   22K
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80