Index of /freexian/extended-lts/pool/main/c/cryptominisat

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2025-08-20 16:03 520K
[   ]python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb2025-08-20 16:03 19K
[   ]libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb2025-08-20 16:03 18K
[   ]libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb2025-08-20 16:03 14K
[   ]libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb2025-08-20 16:03 490K
[   ]libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb2025-08-20 16:03 406K
[   ]cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2025-08-20 16:03 75K
[   ]cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb2025-08-20 16:03 86K

Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443