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	825910F9CCFB8550A71FF703E3C49650
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	Fedora Project
PackageName	frama-c
PackageRelease	6.fc33
PackageVersion	21.1
SHA-1	DE1CB614D6D3C993A2C9202E83458892B767EF6E
SHA-256	20AD11BEC19AC9ADA4F949CBD8DD318FAE6A6DAE734C9E9EF6BA1096F8647048

Key	Value
FileSize	38077420
MD5	EEB05F23D941750D3D8CF5ED2FDFE375
PackageDescription	Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b3
SHA-1	346AD2ED6DCDB0DEC2E64262382DCDBEEFA56626
SHA-256	07CBB88A385CB516A9D5C5AE536E0DCBC4FBF0EEB10606E0D8A2985F3C4A78FC

Key	Value
FileSize	58916308
MD5	D63F2BC997490ECEED63E4166B532886
PackageDescription	Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b3
SHA-1	EEA656806B43C87500BB69A89D8ECB65A3E37DD4
SHA-256	0288471EFB61C9B77912BE2A18D8FE0741B6586A4B7C7F72CB13E2DAD7CA7C60

Key	Value
FileSize	62684896
MD5	20C9A3A19457693F4357A9796D737891
PackageDescription	Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b3
SHA-1	CD7E703D0C4A0620F1D40A6CD66380BFB749C6A7
SHA-256	A2AF8C7B66DB56934EB110B82A3580F391B758A7B1277D7F2574CA254DB2F8AC

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