Parents (Total: 5)
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
MD5 | 657F6111B36ED52BE27C7F54E2321E11 |
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 | D9A0F38B9F68721868705514E78B82D68D6F6358 |
SHA-256 | 5B07E924D08C5D50EDB6AD5FB4CD74F8CA2D607DCE21A0AF0B96B0D3C4A04039 |
Key |
Value |
MD5 | 25F047F28F627638063F6C34526A7FEF |
PackageArch | i586 |
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 | 6F4BF67FE8F4F291EDBEEEAB7C2FBFCD27A14424 |
SHA-256 | A8C30B4C4FA4A509DDC1B2757E879B24BF0BF1B3DE4E4E7C4836F1D08020BB32 |
Key |
Value |
MD5 | 199F2F4C133EF5655B5F4FC290B51E14 |
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 | Fedora Project |
PackageName | frama-c |
PackageRelease | 8.fc34 |
PackageVersion | 22.0 |
SHA-1 | 0D9A26996BCDC88F33A59F8D042E9F0EBFD674DB |
SHA-256 | 58734654001BA2A29F04BD7B0908A102F567C2D2F2C7AF20055F294220ADF3E2 |
Key |
Value |
MD5 | 010404D89AE06DF54E9961619B1CBE23 |
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 | Fedora Project |
PackageName | frama-c |
PackageRelease | 1.fc32 |
PackageVersion | 20.0 |
SHA-1 | C78C8542378C35ABD4C439ADEBD74A3184219EDB |
SHA-256 | 4F731954CD013371B6D6D0099F46BB197654F7ACC9A59481D402EAED4373079B |
Key |
Value |
MD5 | 77967E0C1C3E3784224398018729A1D1 |
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 | Fedora Project |
PackageName | frama-c |
PackageRelease | 6.fc33 |
PackageVersion | 21.1 |
SHA-1 | 0C0B2AE3949C1DAD753E2F5D5804D89B4AAF5742 |
SHA-256 | AC1838700AB34D3D290E33CCF9710E5E052213D6AFAE69EE59C2DE484E44F917 |