Triple - Together we Inspire
/archive/pool/universe/c/cryptominisat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.8.0+dfsg1-2.dsc 24082022-Feb-22 23:24
cryptominisat_5.11.21+dfsg1-1.dsc 24982024-May-03 11:29
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 26212024-Mar-31 18:36
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar..> 57202024-Mar-31 18:36
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 62642022-Feb-22 23:24
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 66202024-May-03 11:29
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 129782022-Feb-22 23:45
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_am..> 177442024-Apr-01 03:47
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb 178002024-May-03 12:05
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 195922022-Feb-22 23:45
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 830602024-Apr-01 03:47
cryptominisat_5.8.0+dfsg1-2_amd64.deb 929602022-Feb-22 23:45
cryptominisat_5.11.21+dfsg1-1_amd64.deb 936622024-May-03 12:05
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 3867082022-Feb-22 23:45
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64...> 4451922024-May-03 12:05
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> 4473262024-Apr-01 03:47
cryptominisat_5.8.0+dfsg1.orig.tar.xz 4513042020-Jul-13 17:24
cryptominisat_5.11.15+dfsg1.orig.tar.xz 4748402023-Dec-14 17:37
cryptominisat_5.11.21+dfsg1.orig.tar.xz 4814802024-May-03 11:29
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb 5239842024-May-03 12:05
python3-cryptominisat_5.11.15+dfsg1-1.1build1_am..> 5259662024-Apr-01 03:47