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

/ubuntu/pool/universe/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb511.7 KiB2024-05-03T12:05Z
cryptominisat_5.11.21+dfsg1-1_amd64.deb91.5 KiB2024-05-03T12:05Z
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb434.8 KiB2024-05-03T12:05Z
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb17.4 KiB2024-05-03T12:05Z
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-05-03T11:29Z
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-05-03T11:29Z
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-05-03T11:29Z
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb17.3 KiB2024-04-01T03:47Z
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb513.6 KiB2024-04-01T03:47Z
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb436.8 KiB2024-04-01T03:47Z
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb81.1 KiB2024-04-01T03:47Z
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB2024-03-31T18:36Z
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.6 KiB2024-03-31T18:36Z
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-12-14T17:37Z
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb377.6 KiB2022-02-22T23:45Z
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb12.7 KiB2022-02-22T23:45Z
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb19.1 KiB2022-02-22T23:45Z
cryptominisat_5.8.0+dfsg1-2_amd64.deb90.8 KiB2022-02-22T23:45Z
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB2022-02-22T23:24Z
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB2022-02-22T23:24Z
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB2020-07-13T17:24Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github