Parents (Total: 26)

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

Key	Value
FileSize	13192
MD5	9D012B494028494A2380A6121E72D9B9
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.7.1+dfsg1-1+b2
SHA-1	06DE3261B8A223FC68DAB264864C4349774E022C
SHA-256	9F0630FAB833A564ABC78CF067CAFEA63E6E1731477E91C37E35ACBB1D7296AF

Key	Value
FileSize	13180
MD5	9AEFC039D908524016E35E8D73279B03
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.7.1+dfsg1-1+b1
SHA-1	12AF1D8694C49F0BBE33326DE05137C3273267ED
SHA-256	A362177A318A79483C4324764FCBA2F6364010E5F9E8BED70CE4F5830E7F187C

Key	Value
FileSize	13196
MD5	45E6D297E9A37D9D454D053C051555EA
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.7.1+dfsg1-1+b2
SHA-1	2129127D9DD40F50653F5D9154617695A1BD1F77
SHA-256	48FE9662A2563C26B1107F81C945FFD7C8DD79789DF2E11AAC029137A79E4BAD

Key	Value
MD5	F293AA8FD23230F5F2E66A1555031691
PackageArch	aarch64
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	4.fc33
PackageVersion	5.7.1
SHA-1	22DE1E57D9DE60C3B2029358EC55C3598DF0FFB0
SHA-256	F384BBEEF54D524C6C2A693DDFCB5D786DB0B61429EA76BE61C042268B353952

Key	Value
MD5	F22BBE827762C0207E666FBDF8843838
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	6.fc32
PackageVersion	5.6.8
SHA-1	246DDCD7DD2971151DC6E4C81103E46BB3524B47
SHA-256	6AA4D410B59856A9DED3B0CDB493FEC1FF2A9DACC840B806B80D59B13FEDEACE

Key	Value
MD5	B637A9A694E1DDF081B6E5A357D72BE1
PackageArch	x86_64
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	4.fc33
PackageVersion	5.7.1
SHA-1	33B59F3E805F7CF44A9BFDEE0BB26D730D65F7AC
SHA-256	AE95EE1A0DC492E4C1AFD0C8B91B91C7570E32A48F5402E2CC00FC2848DE99B4

Key	Value
MD5	6B918F62409904E80F5EA3E9CBFB9892
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	4.fc33
PackageVersion	5.7.1
SHA-1	3823CAF210350759BF94AD0CCB26ECC3453ACDDB
SHA-256	16EDCCFF03137ECF0E32AA2C818C72A577857C682AC2D0A7B869B232001B4204

Key	Value
FileSize	13216
MD5	6C6899D007D168995980AE647B8A6A81
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.7.1+dfsg1-1+b2
SHA-1	3C19E068B7CBB5424654055A9770FE0707580770
SHA-256	2CC55426DC31BBFAF232ED04D1D64E578BD57AFEF8FF15CD1F084C592D6CB2FF

Key	Value
MD5	64F86E7BBA0C0B4EFF829ACA52EAD2F1
PackageArch	x86_64
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	6.fc32
PackageVersion	5.6.8
SHA-1	3E0540AC45E0D9856A515010AD34408D30A7D079
SHA-256	B4260694427D93BB2962684733A677761580BB36091DACCA83898D5847D5108B

Key	Value
MD5	947087A8C2B7B0F6DACCF2FA3770F5E7
PackageArch	i686
PackageDescription	This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	cryptominisat-debugsource
PackageRelease	6.fc32
PackageVersion	5.6.8
SHA-1	43D916FB45A22C412E26FF448751729568F54C9E
SHA-256	EBB28E90A4046D4AB187D5ECE9BC6A82BB8501A572E520808A73658F30CB6FB3