Index of /ubuntu/pool/main/l/ladr

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libladr4_0.0.200911a-2.1_i386.deb2018-04-12 11:58 182K 
[ ]libladr-dev_0.0.200911a-2.1_i386.deb2018-04-12 12:06 256K 
[ ]prover9_0.0.200911a-2.1_i386.deb2018-04-12 12:07 76K 
[ ]ladr4-apps_0.0.200911a-2.1_amd64.deb2018-04-12 12:12 126K 
[ ]prover9_0.0.200911a-2.1_amd64.deb2018-04-12 12:17 74K 
[ ]libladr4_0.0.200911a-2.1_amd64.deb2018-04-12 12:18 162K 
[ ]libladr-dev_0.0.200911a-2.1_amd64.deb2018-04-12 12:20 248K 
[ ]ladr4-apps_0.0.200911a-2.1_i386.deb2018-04-12 12:35 117K