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	DDA83333587FC1A3DA037397D2E98333
PackageArch	armv7hl
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	C8F11FF5AA93E7F53F14A985F0A895F2A13EF0A9
SHA-256	1D92B351DD958168D300C83EC56685568BAC0835CF99DA59F789643F1FBDB09A