Index of /pool/universe/l/ladr

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prover9_0.0.200911a-2_amd64.deb2013-05-25 15:03 96K 
[   ]ladr4-apps_0.0.200911a-2_amd64.deb2013-05-25 15:03 314K 
[   ]libladr-dev_0.0.200911a-2_amd64.deb2013-05-25 15:03 349K 
[   ]libladr4_0.0.200911a-2_amd64.deb2013-05-25 15:03 194K 
[   ]libladr-dev_0.0.200911a-2.1_amd64.deb2014-10-24 18:36 248K 
[   ]ladr4-apps_0.0.200911a-2.1_amd64.deb2014-10-24 18:36 126K 
[   ]libladr4_0.0.200911a-2.1_amd64.deb2014-10-24 18:36 162K 
[   ]prover9_0.0.200911a-2.1_amd64.deb2014-10-24 18:36 74K 
[   ]ladr4-apps_0.0.200911a-2.1build1_amd64.deb2018-04-04 17:23 134K 
[   ]libladr-dev_0.0.200911a-2.1build1_amd64.deb2018-04-04 17:23 256K 
[   ]libladr4_0.0.200911a-2.1build1_amd64.deb2018-04-04 17:23 164K 
[   ]prover9_0.0.200911a-2.1build1_amd64.deb2018-04-04 17:23 76K 

Apache/2.4.52 (Ubuntu) Server at ubuntu.mti.mt.gov.br Port 80