Parents (Total: 24)
The searched file hash is included in 24 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
MD5 | 64A1D63B0735AF29A61570DC524EEA71 |
PackageArch | noarch |
PackageDescription | This package contains an Emacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-emacs |
PackageRelease | 4.fc24 |
PackageVersion | 1.12 |
SHA-1 | 099B2894549B8E23CB4138C14F6E9BC4C92A752C |
SHA-256 | 2CF87F7BC9B3FBA67AD7352BEDAA4724B485D4719BD17066089008A64DDC84FE |
Key |
Value |
MD5 | B93B4254428DFD8B3CF261431952A9BA |
PackageArch | noarch |
PackageDescription | This package contains an Emacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-emacs |
PackageRelease | 1.fc32 |
PackageVersion | 20.0 |
SHA-1 | 199BCDF569DE3B0E4187FE1A104C2A64A77A072B |
SHA-256 | B7FA6CAFCAAB50F32242186EBDC8CCA328E141C0437D47CD86B4DE2B87BD1EAF |
Key |
Value |
MD5 | 99D9C09C21C35BF200B08BA0E3CF67C7 |
PackageArch | noarch |
PackageDescription | This package contains an Emacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | daviddavid <daviddavid> |
PackageName | frama-c-emacs |
PackageRelease | 0.20171101Sulfur.4.mga7 |
PackageVersion | 16.0 |
SHA-1 | 2A17ADD73351AF7C5712E8A1F65D121A2886A252 |
SHA-256 | C7F7BCAC62EE8A48982EED546482DA3E4693FA4036D117A7A9D878BB0149E513 |
Key |
Value |
MD5 | E36E666951B9DB9C02811F02BAF39FC9 |
PackageArch | noarch |
PackageDescription | This package contains an XEmacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs |
PackageRelease | 4.fc24 |
PackageVersion | 1.12 |
SHA-1 | 3BD5F2C9688A86A53579A7E82022886B2E85DE60 |
SHA-256 | BE129032D6B36E8FE8CF948CDBA258E9021264253976525E86AAEA2DF534B428 |
Key |
Value |
MD5 | F7D81987CFB7F43B7E4176677BF975B4 |
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 | 9.fc18 |
PackageVersion | 1.7 |
SHA-1 | 43F45E69D1603EA6D42DE8378BA31026A10BD28C |
SHA-256 | 5398CBAF21CFBE69884592CE0EAADF505BBAECE20702CF6FD9A37FF4AD821E11 |
Key |
Value |
MD5 | 90D4D42153F9AF3CF37BEF527B226556 |
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 | 484A355990777E59484BB4E386618112279CA89D |
SHA-256 | 9D20F27BDB02667FA6759D8341EBB8C83F3EFE7C4B4DDF9E47D36335FCC7598D |
Key |
Value |
MD5 | 0099306383798AAADD1BE6EF943F45A1 |
PackageArch | noarch |
PackageDescription | This package contains an Emacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-emacs |
PackageRelease | 3.fc19 |
PackageVersion | 1.9 |
SHA-1 | 520963F9E6D5A0FAFEA609A4A41FF2097C648A34 |
SHA-256 | 8D14068F80C9365A4D436CEEE98DD095BBD88E127196598C5383A4DF9C38F497 |
Key |
Value |
MD5 | AE25364AC66DDB93FAD29F32C2EEC34E |
PackageArch | noarch |
PackageDescription | This package contains an XEmacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs |
PackageRelease | 3.fc19 |
PackageVersion | 1.9 |
SHA-1 | 59B84A512617643A18B55B31B1093E1FA4904BEE |
SHA-256 | 950EA1EB84FF8A0389B9454D4657C12D0137EDC8F0AE19213986C1234C9E4827 |
Key |
Value |
MD5 | A7CCFF8FE1298E403F7C4ABAC14DA35D |
PackageArch | noarch |
PackageDescription | This package contains an XEmacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs |
PackageRelease | 7.fc23 |
PackageVersion | 1.11 |
SHA-1 | 5B704027F53CEACF1F2EA0902725801A6988FE0D |
SHA-256 | 83D06E028CB576F6476F2F356451F6E98DC0FC58F7E048741A94B187FB7A6C4C |
Key |
Value |
MD5 | ED7E2565DC2014904B3F37370F703DC9 |
PackageArch | noarch |
PackageDescription | This package contains an XEmacs support file for working with C source
files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs |
PackageRelease | 8.fc34 |
PackageVersion | 22.0 |
SHA-1 | 67E8F276B89BE1D8802F1CBB6AFE30DD7F5C8351 |
SHA-256 | 0D94A7A18015C37CD844390454A59E59D8668F2A1845DDE12812AE205A12ED75 |