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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 856502026-Jan-23 10:14
python3-cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 5679722026-Jan-23 10:14
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_arm64.deb 4331262026-Jan-23 10:14
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm64.deb 178022026-Jan-23 10:14
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64v3.deb 4653122026-Jan-23 10:11
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64v3.deb 178162026-Jan-23 10:11
cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb 972442026-Jan-23 10:11
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb 6025182026-Jan-23 10:11
cryptominisat_5.11.21+dfsg1-3build1_amd64.deb 963782026-Jan-23 10:09
python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb 5933682026-Jan-23 10:09
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb 4568662026-Jan-23 10:09
libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb 178062026-Jan-23 10:09
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz 70962026-Jan-23 05:33
cryptominisat_5.11.21+dfsg1-3build1.dsc 25042026-Jan-23 05:33
cryptominisat_5.11.21+dfsg1-2_arm64.deb 868802025-May-25 14:49
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 178162025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb 4483602025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 5844542025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2_amd64.deb 960982025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb 4573522025-May-25 14:49
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 178182025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2.dsc 25192025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 66962025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 5915562025-May-25 14:49
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 957662025-Jan-03 23:37
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 6230182025-Jan-03 23:37
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb 178162025-Jan-03 23:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb 4578562025-Jan-03 23:37
cryptominisat_5.11.21+dfsg1-1build1.dsc 24972025-Jan-03 23:36
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 67042025-Jan-03 23:35
cryptominisat_5.11.21+dfsg1.orig.tar.xz 4814802024-May-03 20:29
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb 4473262024-Apr-01 12:47
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb 177442024-Apr-01 12:47
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 830602024-Apr-01 12:47
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 5259662024-Apr-01 12:47
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 57202024-Apr-01 03:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 26212024-Apr-01 03:36
cryptominisat_5.11.15+dfsg1.orig.tar.xz 4748402023-Dec-15 02:37
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 3867082022-Feb-23 08:45
cryptominisat_5.8.0+dfsg1-2_amd64.deb 929602022-Feb-23 08:45
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 195922022-Feb-23 08:45
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 129782022-Feb-23 08:45
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 62642022-Feb-23 08:24
cryptominisat_5.8.0+dfsg1-2.dsc 24082022-Feb-23 08:24
cryptominisat_5.8.0+dfsg1.orig.tar.xz 4513042020-Jul-14 02:24