Index of /pool/universe/c/cryptominisat

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 2020-07-13 20:24 6.0K [TXT] cryptominisat_5.8.0+dfsg1-1.dsc 2020-07-13 20:24 2.4K [   ] cryptominisat_5.8.0+dfsg1-1_amd64.deb 2020-07-13 21:09 94K [   ] cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz 2020-12-12 14:45 6.1K [TXT] cryptominisat_5.8.0+dfsg1-1build2.dsc 2020-12-12 14:45 2.4K [   ] cryptominisat_5.8.0+dfsg1-1build2_amd64.deb 2020-12-12 15:06 86K [   ] cryptominisat_5.8.0+dfsg1.orig.tar.xz 2020-07-13 20:24 441K [   ] libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb 2020-07-13 21:09 419K [   ] libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb 2020-12-12 15:06 406K [   ] libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb 2020-07-13 21:09 13K [   ] libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64.deb 2020-12-12 15:06 13K [   ] python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb 2020-07-13 21:09 18K [   ] python3-cryptominisat_5.8.0+dfsg1-1build2_amd64.deb 2020-12-12 15:06 18K