Index of /etap/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1_amd64.deb               27-Sep-2017 18:13    153K
ladr4-apps_0.0.200911a-2.1_i386.deb                27-Sep-2017 15:46    155K
ladr_0.0.200911a-2.1.debian.tar.xz                 16-Feb-2017 14:08     19K
ladr_0.0.200911a-2.1.dsc                           16-Feb-2017 14:08    1337
ladr_0.0.200911a.orig.tar.gz                       16-Feb-2017 14:08      2M
libladr-dev_0.0.200911a-2.1_amd64.deb              27-Sep-2017 16:09    271K
libladr-dev_0.0.200911a-2.1_i386.deb               27-Sep-2017 18:19    278K
libladr4_0.0.200911a-2.1_amd64.deb                 27-Sep-2017 16:05    183K
libladr4_0.0.200911a-2.1_i386.deb                  27-Sep-2017 18:45    202K
prover9_0.0.200911a-2.1_amd64.deb                  27-Sep-2017 17:46     98K
prover9_0.0.200911a-2.1_i386.deb                   27-Sep-2017 15:56    100K