Parents (Total: 8)

The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	45488
MD5	6F0482E5C59539D6F1F2F9BE66CAF088
PackageDescription	arithmetic and logical operations over arbitrary-precision integers (dev) The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy. . This package provides the static library, OCaml library and interface for developing applications to use libzarith-ocaml.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libzarith-ocaml-dev
PackageSection	ocaml
PackageVersion	1.2.1-2+b1
SHA-1	D3F7EF657AA9CB651DCA9828E6198B6D9096A6F4
SHA-256	6EC4CB21F517404FEB7E0C064C47CDAB1922C9DE61914EE01E5A49BE3801CE82

Key	Value
FileSize	12198284
MD5	D88FA35467AA24E60FA04640E3BB0CE1
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	64AA3060358727008048D0BB24C7BD0F3DC291DD
SHA-256	A0C2F2419D0BEF0169EFCD2CF8E70D95D9492280FC2C113D71CE018C60A9EDD2

Key	Value
FileSize	44920
MD5	610FFD717AE40309A449CD4A6D5D7AA9
PackageDescription	arithmetic and logical operations over arbitrary-precision integers (dev) The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy. . This package provides the static library, OCaml library and interface for developing applications to use libzarith-ocaml.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libzarith-ocaml-dev
PackageSection	ocaml
PackageVersion	1.2.1-2+b1
SHA-1	91995850BA3089350FEB5063337032D35CAA6969
SHA-256	CF5F0DBA321F2808647C42CB279EE1E41A371E8607191DA5C49186C6749A1059

Key	Value
FileSize	12086912
MD5	104A500735E13A8E61EC4AAC568D79A8
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	31DF4EA587938E4288764F443DA9544E4D069801
SHA-256	5AD239FCBB9800A5B372CFB469DC9C18734A75CCC0F41BF953AEC1B6545F73D8

Key	Value
FileSize	21439922
MD5	479DF923D01F9C5A7043EB5E98F43575
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20140301+neon+dfsg-3
SHA-1	72F22040D7BE202BF9C39FD9C4CF6164FB2E7144
SHA-256	C27D6FA11430DBA72BD0CAF15BB49F27871C77D8CF4B0DAE8932F8F2BD3C3E83

Key	Value
FileSize	21326182
MD5	CF7D951F5CABE0E24582506DC0091112
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	F0322344E1DA9CCDC61F14E6994962FB5BAAC4FD
SHA-256	4CDE8A6CD49C6CBC20A388BE9A04C7B23BC7DF53143B63B8282C1A22907C3405

Key	Value
FileSize	19484424
MD5	E09522388269DD983093CF86BC5405AD
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20140301+neon+dfsg-3
SHA-1	481960924FBC103D6DF219B84E1973E69F08B18D
SHA-256	890F56774FFBE68AEB5F6312F0A65C5C3F2B42B51A979589BF5C9EE2EF0FE479

Key	Value
FileSize	20504924
MD5	1B01E41F0E4DF87781DBEC4D95BA9214
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	D291039C91EEA0F5ADCBBE984F1749B11BB9074D
SHA-256	6610B6A3095212E2E4C23D9A5BF4B0B8AD42658104FEC3962E7E84CC69E37F3A