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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_riscv64.deb 5929562026-Jan-23 12:38
python3-cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb 6782342026-Jan-23 12:38
cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb 963322026-Jan-23 12:38
libcryptominisat5-dev_5.11.21+dfsg1-3build1_riscv64.deb 177982026-Jan-23 12:38
python3-cryptominisat_5.11.21+dfsg1-3build1_s390x.deb 6373562026-Jan-23 10:24
cryptominisat_5.11.21+dfsg1-3build1_s390x.deb 960042026-Jan-23 10:24
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_s390x.deb 5041922026-Jan-23 10:24
libcryptominisat5-dev_5.11.21+dfsg1-3build1_s390x.deb 177982026-Jan-23 10:24
python3-cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb 6978462026-Jan-23 10:20
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_ppc64el.deb 5102162026-Jan-23 10:20
libcryptominisat5-dev_5.11.21+dfsg1-3build1_ppc64el.deb 178042026-Jan-23 10:20
cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb 947822026-Jan-23 10:20
libcryptominisat5-dev_5.11.21+dfsg1-3build1_armhf.deb 178002026-Jan-23 10:17
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_armhf.deb 5159302026-Jan-23 10:17
cryptominisat_5.11.21+dfsg1-3build1_armhf.deb 895122026-Jan-23 10:17
python3-cryptominisat_5.11.21+dfsg1-3build1_armhf.deb 5875342026-Jan-23 10:17
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 856502026-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
python3-cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 5679722026-Jan-23 10:14
cryptominisat_5.11.21+dfsg1-3build1.dsc 25042026-Jan-23 05:33
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz 70962026-Jan-23 05:33
cryptominisat_5.11.21+dfsg1-2_riscv64.deb 961482025-May-25 17:34
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 178142025-May-25 17:34
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb 5933302025-May-25 17:34
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 6769222025-May-25 17:34
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 178182025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2_s390x.deb 970962025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb 5092942025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 954502025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 6427382025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb 5096982025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 6933162025-May-25 14:49
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 178182025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb 5189562025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 5894322025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2_armhf.deb 894422025-May-25 14:49
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 178102025-May-25 14:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb 4483602025-May-25 14:49
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 178162025-May-25 14:49
cryptominisat_5.11.21+dfsg1-2_arm64.deb 868802025-May-25 14:49
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 5844542025-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
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 959902025-Jan-04 03:35
libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb 178102025-Jan-04 03:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb 5934502025-Jan-04 03:35
python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 6686682025-Jan-04 03:35
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 967802025-Jan-03 23:40
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb 178162025-Jan-03 23:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb 5129182025-Jan-03 23:40
python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 6357022025-Jan-03 23:40
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 959862025-Jan-03 23:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb 5111642025-Jan-03 23:39
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb 178182025-Jan-03 23:39
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 6852082025-Jan-03 23:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb 5219382025-Jan-03 23:38
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 890082025-Jan-03 23:38
libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb 178122025-Jan-03 23:38
python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 5843962025-Jan-03 23:38
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb 178142025-Jan-03 23:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb 4499322025-Jan-03 23:37
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 872182025-Jan-03 23:37
python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 5781382025-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
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 862102024-Apr-04 06:11
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb 5863902024-Apr-04 06:11
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb 177502024-Apr-04 06:11
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 6069402024-Apr-04 06:11
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb 5087522024-Apr-02 20:03
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 847562024-Apr-02 20:03
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb 177462024-Apr-02 20:03
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 5943782024-Apr-02 20:03
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 865022024-Apr-02 14:02
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb 177522024-Apr-02 14:02
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb 5040562024-Apr-02 14:02
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 6347782024-Apr-02 14:02
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb 177502024-Apr-02 10:08
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 793102024-Apr-02 10:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 5242202024-Apr-02 10:08
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb 5226202024-Apr-02 10:08
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 792242024-Apr-02 10:07
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb 177482024-Apr-02 10:07
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb 4352482024-Apr-02 10:07
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 5192702024-Apr-02 10:07
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-dev_5.8.0+dfsg1-2_riscv64.deb 129742022-Feb-23 11:29
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 966682022-Feb-23 11:29
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 4598802022-Feb-23 11:29
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 192702022-Feb-23 11:29
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 129782022-Feb-23 08:46
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 3738062022-Feb-23 08:46
cryptominisat_5.8.0+dfsg1-2_s390x.deb 902382022-Feb-23 08:46
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 192622022-Feb-23 08:46
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 993782022-Feb-23 08:46
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 129842022-Feb-23 08:46
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 207122022-Feb-23 08:46
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 4727502022-Feb-23 08:46
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 184002022-Feb-23 08:45
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 129802022-Feb-23 08:45
cryptominisat_5.8.0+dfsg1-2_armhf.deb 886342022-Feb-23 08:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 4259542022-Feb-23 08:45
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 129742022-Feb-23 08:45
cryptominisat_5.8.0+dfsg1-2_arm64.deb 890802022-Feb-23 08:45
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 192482022-Feb-23 08:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 3746782022-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