Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
cryptominisat
> Manifest > cryptominisat-5.11.21.tar.gz
sci-mathematics
/
cryptominisat
- Manifest: cryptominisat-5.11.21.tar.gz
Details
Type
DIST
File
cryptominisat-5.11.21.tar.gz
Size
975459 bytes
Hashes
Type
Value
BLAKE2B
c1a8e274a5221584c7245405f6b617951528a477ae36680da293acc9e7ee46692a0a37c057749a98c41b7bc302a3d0b9de176379b8c9aece339c2aaa6b6a3308
SHA512
5a1ac51b27cc692c793831aba83cc71188f9c46abdef809fae9c830a2801e1c45310cf5ada1ba4e10cb11aba5efef6407a9f7f0506474f30bdd4a58bfcbdbef7
Versions
5.11.21
Source URLs
https://github.com/msoos/cryptominisat/archive/5.11.21.tar.gz