Index of /pool/universe/c/cryptominisat

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-02-22 19:45 91K 
[   ]cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-03-31 23:47 81K 
[   ]libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb2022-02-22 19:45 378K 
[   ]libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb2024-03-31 23:47 437K 
[   ]libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb2022-02-22 19:45 13K 
[   ]libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb2024-03-31 23:47 17K 
[   ]python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-02-22 19:45 19K 
[   ]python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-03-31 23:47 514K 

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