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
MD5	29906583D99A1DB7A08FD35896ECDC24
PackageArch	aarch64
PackageDescription	Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
PackageMaintainer	daviddavid <daviddavid>
PackageName	frama-c
PackageRelease	0.20171101Sulfur.4.mga7
PackageVersion	16.0
SHA-1	BCDA6206BE7AAEE9DA1D9B26CE45DB9FD477C3BC
SHA-256	C320C18FCA40B8337A2B6D501B1D669FDBC79C7BFCFD5F4B9F8B7E2F1D391278