Triple - Together we Inspire
News
About us
Contact
Careers
/raspbian/pool/main/c/cryptominisat/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb
79936
2024-Jul-09 10:08
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_arm..>
450908
2024-Jul-09 10:08
python3-cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb
470776
2024-Jul-09 10:08
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_armhf.deb
19024
2024-Jul-09 10:08
cryptominisat_5.11.21+dfsg1.orig.tar.xz
481480
2024-May-03 06:30
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
6620
2024-May-03 06:30
cryptominisat_5.11.21+dfsg1-1.dsc
2498
2024-May-03 06:30
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb
18312
2023-Jan-31 16:08
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb
443468
2023-Jan-31 16:08
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
472016
2023-Jan-31 16:08
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
68560
2023-Jan-31 16:08
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
5360
2022-Nov-03 19:09
cryptominisat_5.11.4+dfsg1-2.dsc
2459
2022-Nov-03 19:09
cryptominisat_5.11.4+dfsg1.orig.tar.xz
530220
2022-Oct-28 21:20
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb
371188
2020-Dec-07 22:08
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb
13948
2020-Dec-07 22:08
cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb
82548
2020-Dec-07 22:08
python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb
17944
2020-Dec-07 22:08
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
6188
2020-Jul-11 14:16
cryptominisat_5.8.0+dfsg1-1.dsc
2408
2020-Jul-11 14:16
cryptominisat_5.8.0+dfsg1.orig.tar.xz
451304
2020-Jul-11 14:16
cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
19928
2018-Aug-29 03:39
cryptominisat_5.6.4+dfsg.1.orig.tar.gz
492403
2018-Aug-29 03:39
cryptominisat_5.6.4+dfsg.1-1.dsc
1720
2018-Aug-29 03:39