Toggle navigation
Taiwan Digital Streaming Co.
Open Source Mirror Site
HOME
MIRRORS
Index of
/ubuntu/pool/universe/c/cryptominisat/
Last Update:
{{nowBrowsingMirror.last_update}}
{{nowBrowsingMirror.status}}
/ubuntu/pool/universe/c/cryptominisat/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
cryptominisat_5.8.0+dfsg1-2.dsc
2.4 KiB
2022-02-22T23:24Z
cryptominisat_5.11.21+dfsg1-1.dsc
2.4 KiB
2024-05-03T11:29Z
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
2.6 KiB
2024-03-31T18:36Z
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
5.6 KiB
2024-03-31T18:36Z
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
6.1 KiB
2022-02-22T23:24Z
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
6.5 KiB
2024-05-03T11:29Z
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
12.7 KiB
2022-02-22T23:45Z
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb
17.3 KiB
2024-04-01T03:47Z
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb
17.4 KiB
2024-05-03T12:05Z
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19.1 KiB
2022-02-22T23:45Z
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
81.1 KiB
2024-04-01T03:47Z
cryptominisat_5.8.0+dfsg1-2_amd64.deb
90.8 KiB
2022-02-22T23:45Z
cryptominisat_5.11.21+dfsg1-1_amd64.deb
91.5 KiB
2024-05-03T12:05Z
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
377.6 KiB
2022-02-22T23:45Z
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb
434.8 KiB
2024-05-03T12:05Z
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
436.8 KiB
2024-04-01T03:47Z
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.7 KiB
2020-07-13T17:24Z
cryptominisat_5.11.15+dfsg1.orig.tar.xz
463.7 KiB
2023-12-14T17:37Z
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.2 KiB
2024-05-03T11:29Z
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb
511.7 KiB
2024-05-03T12:05Z
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
513.6 KiB
2024-04-01T03:47Z
cube
github