Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	17940
MD5	5BDB791ACE61B6E8C4006F76336067DC
PackageDescription	Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	python3-cryptominisat
PackageSection	python
PackageVersion	5.8.0+dfsg1-1+b3
SHA-1	919DC2718ECA213C24903902AF15F39DD50B5F39
SHA-256	95FA5B94F6B717B3488988DDA80D9C63B08104229A762DF130DE0D0DC6DAB865