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

../
ladr4-apps_0.0.200902a-2_amd64.deb                 31-Mar-2026 00:59    365K
ladr4-apps_0.0.200902a-2_i386.deb                  31-Mar-2026 00:59    343K
libladr-dev_0.0.200902a-2_amd64.deb                31-Mar-2026 00:59    396K
libladr-dev_0.0.200902a-2_i386.deb                 31-Mar-2026 00:59    368K
libladr4_0.0.200902a-2_amd64.deb                   31-Mar-2026 00:59    237K
libladr4_0.0.200902a-2_i386.deb                    31-Mar-2026 00:59    240K
prover9_0.0.200902a-2_amd64.deb                    31-Mar-2026 00:59    126K
prover9_0.0.200902a-2_i386.deb                     31-Mar-2026 01:00    119K