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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prover9_0.0.200911a-2.1_i386.deb2018-04-12 12:07 76K 
[   ]prover9_0.0.200911a-2.1_amd64.deb2018-04-12 12:17 74K 
[   ]libladr4_0.0.200911a-2.1_i386.deb2018-04-12 11:58 182K 
[   ]libladr4_0.0.200911a-2.1_amd64.deb2018-04-12 12:18 162K 
[   ]libladr-dev_0.0.200911a-2.1_i386.deb2018-04-12 12:06 256K 
[   ]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 
[   ]ladr4-apps_0.0.200911a-2.1_amd64.deb2018-04-12 12:12 126K