Parents (Total: 84)

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

Key	Value
MD5	B9DE92EAECF64406BE327E9883D5A1EE
PackageArch	s390x
PackageDescription	Headers and other development files for PicoSAT.
PackageMaintainer	Fedora Project
PackageName	picosat-devel
PackageRelease	9.epel8.playground
PackageVersion	965
SHA-1	06ECCB09FE785462E99EDB9411DC0D9BC502ADDF
SHA-256	5A76215DA2038975050AA80169A90677C4EEE02F9D8E412FD2D98B4DDE1FABF6

Key	Value
MD5	2D9C5284FE90A003F6A1504346D25474
PackageArch	ppc64le
PackageDescription	Headers and other development files for PicoSAT.
PackageMaintainer	Fedora Project
PackageName	picosat-devel
PackageRelease	2.el7
PackageVersion	965
SHA-1	07F0AB82083AA773D4ADCBD2DAC461A44E69382E
SHA-256	FAC6A2CE15C492CF896DFADDB580AAE176E2264D4AFE3FDFF40F24D555138D54

Key	Value
MD5	CE698966117BA1E00688EB8149D6E9E1
PackageArch	x86_64
PackageDescription	This package provides debug sources for package picosat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	joequant <joequant>
PackageName	picosat-debugsource
PackageRelease	1.mga8
PackageVersion	965
SHA-1	0A3C779519061A2DA74CDBE805F3EC97FF13ACB8
SHA-256	A3AB47E54ED1BDE1AD7DA6D041EF4089320C289E7B7BD2D16016AEB576ECB600

Key	Value
MD5	F31F8DEF4BDEAA99E460A4E6275A6365
PackageArch	aarch64
PackageDescription	Headers and other development files for PicoSAT.
PackageMaintainer	umeabot <umeabot>
PackageName	picosat-devel
PackageRelease	2.mga9
PackageVersion	965
SHA-1	0B82D08A10FE1990184346D2EB28412917B8A581
SHA-256	B97F353E296B4212BEE9926F1021F80DF69ED8C44ED338597C340A0E1DA8EF6F

Key	Value
MD5	DD3B310B25DEF6F021A433525246E25D
PackageArch	ppc64le
PackageDescription	This package provides debug information for package picosat. Debug information is useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	picosat-debuginfo
PackageRelease	2.el7
PackageVersion	965
SHA-1	0BE26572761AFB4012123760392CBFC4851AF0AB
SHA-256	96CC17553DC97BC0C4C9658691279793CA5FF03038B76D388399994B00AD1680

Key	Value
MD5	54B1ADBC99FA315FD142A468D9A0C7A9
PackageArch	armv7hl
PackageDescription	Headers and other development files for PicoSAT.
PackageMaintainer	umeabot <umeabot>
PackageName	picosat-devel
PackageRelease	2.mga9
PackageVersion	965
SHA-1	104019F1ECDEF66D2A5DE0ADC04C8F84999445B8
SHA-256	FA0A26654965F12B4111BDA693DB95F122788A61F45E4D9CD7EDCFE475EEA06B

Key	Value
FileSize	93380
MD5	B57E2CB0D2F46B10C968C0EAEEEA11C8
PackageDescription	SAT solver with proof and core support Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	picosat
PackageSection	science
PackageVersion	965-1
SHA-1	10F0932201CA39007DCDFDA69288A9CD03EBAAAE
SHA-256	42FCF9358FBEA06EFF023BFF6D493B2CEAF83121E91A7214CC8ADF51D6EE477E

Key	Value
MD5	ACE02EAF53EE37156ECB6CC1C951F988
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package picosat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	picosat-debugsource
PackageRelease	10.fc32
PackageVersion	965
SHA-1	152CD60C721CF64401187F6A6D454BE0459FC15C
SHA-256	74DE76A033DCBDA21192BE49AD101F0FDA6B4051E57860C40A925CC640EF2494

Key	Value
MD5	EB04EE2E569530750AE1799A8E5816D5
PackageArch	x86_64
PackageDescription	This package provides debug sources for package picosat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	picosat-debugsource
PackageRelease	11.fc33
PackageVersion	965
SHA-1	17B0B9D7200B8F6F41E7C0EFE8B2D9D234423F8E
SHA-256	E40377539A56996BC1D907CEC51DDEE96AB1622B03A4E8A74E6ACE21D59A77FB

Key	Value
MD5	9D7D10D33CA79CFDF6AD4B9B7A179FDC
PackageArch	i686
PackageDescription	Headers and other development files for PicoSAT.
PackageMaintainer	Fedora Project
PackageName	picosat-devel
PackageRelease	12.fc34
PackageVersion	965
SHA-1	1931C40AC9C20C2285AE3608BD7D978AFFB0C470
SHA-256	63CF044CDEA80495F46EFE7F8957A4F90730968F3655CAE702FD5C1B356C2B0A