Index of /ubuntu/pool/universe/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz 56082024-Feb-28 05:28
cryptominisat_5.11.15+dfsg1-1.1.dsc 25102024-Feb-28 05:28
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 830682024-Feb-28 06:08
cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz 55082024-Jan-19 19:30
cryptominisat_5.11.15+dfsg1-1build2.dsc 24692024-Jan-19 19:30
cryptominisat_5.11.15+dfsg1-1build2_amd64.deb 830522024-Jan-19 19:30
cryptominisat_5.11.15+dfsg1.orig.tar.xz 4748402023-Dec-14 17:37
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 54362022-Dec-25 20:25
cryptominisat_5.11.4+dfsg1-2build1.dsc 24622022-Dec-25 20:25
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 797042022-Dec-25 20:26
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz 67482023-Jul-15 05:38
cryptominisat_5.11.4+dfsg1-3.dsc 24592023-Jul-15 05:38
cryptominisat_5.11.4+dfsg1-3_amd64.deb 810202023-Jul-15 05:39
cryptominisat_5.11.4+dfsg1.orig.tar.xz 5302202022-Nov-06 03:16
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 62642022-Feb-22 23:24
cryptominisat_5.8.0+dfsg1-2.dsc 24082022-Feb-22 23:24
cryptominisat_5.8.0+dfsg1-2_amd64.deb 929602022-Feb-22 23:45
cryptominisat_5.8.0+dfsg1.orig.tar.xz 4513042020-Jul-13 17:24
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_am..> 4469082024-Jan-19 19:30
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd..> 4418842022-Dec-25 20:26
libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb 4455202023-Jul-15 05:39
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd..> 4472342024-Feb-28 06:08
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 3867082022-Feb-22 23:45
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb 177242024-Feb-28 06:08
libcryptominisat5-dev_5.11.15+dfsg1-1build2_amd..> 177082024-Jan-19 19:30
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd6..> 172962022-Dec-25 20:26
libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb 173062023-Jul-15 05:39
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 129782022-Feb-22 23:45
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 5259342024-Feb-28 06:08
python3-cryptominisat_5.11.15+dfsg1-1build2_amd..> 5258842024-Jan-19 19:30
python3-cryptominisat_5.11.4+dfsg1-2build1_amd6..> 5302362022-Dec-25 20:26
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb 5343582023-Jul-15 05:39
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 195922022-Feb-22 23:45