Index of /pureos/pool/main/l/ladr/


../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            01-Apr-2017 18:47              159868
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            07-Mar-2018 04:22              130084
ladr_0.0.200911a-2.1.debian.tar.xz                 12-Sep-2016 22:59               19388
ladr_0.0.200911a-2.1.dsc                           12-Sep-2016 22:59                1337
ladr_0.0.200911a.orig.tar.gz                       12-Sep-2016 22:59             1795750
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           01-Apr-2017 18:47              284828
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           07-Mar-2018 04:22              258132
libladr4_0.0.200911a-2.1+b2_amd64.deb              01-Apr-2017 18:47              188260
libladr4_0.0.200911a-2.1+b2_arm64.deb              07-Mar-2018 04:22              156948
prover9_0.0.200911a-2.1+b2_amd64.deb               01-Apr-2017 18:47              102844
prover9_0.0.200911a-2.1+b2_arm64.deb               07-Mar-2018 04:22               92758