Parents (Total: 10)

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

Key	Value
FileSize	21587468
MD5	38FC6A30A3E351CC7D16CDB5B611842D
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	20130601+fluorine3+dfsg-2build1
SHA-1	1C1BE5DF4EBCF470597B321DE583848842F4D770
SHA-256	A2E1B54B54105CCC1C163F799B5B12DDE430A787878F371E728B0E9038D9C141

Key	Value
FileSize	21176970
MD5	9C42AC1FD029D9C91537D0A05F23579A
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	F7D4D890E697697487F42090FC7B13F8025CCAA6
SHA-256	2B8407FCDEF590CFA37E6E1279D6F35D948B0D8C1749B735413252BA2951FF08

Key	Value
FileSize	19068272
MD5	3AA027814CB8E7A9F3416DE8B740BF58
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	B3F4EB2D6BD0C96B7F08C5B932DD885542A70067
SHA-256	7363149B3E668CB204DC4D2B8BB92F2D5C851ACC0B671B3B7D9D5424F7817E80

Key	Value
FileSize	18487522
MD5	7CC68E4370DB0326A1BD7FF9E5268FAB
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	517F3528518B4A4D19E71E558470B0A46771B388
SHA-256	777A630A23F710D9CA5108B56F3FE0A650FA73B35A2B70E332C2FC6A699CBA8C

Key	Value
FileSize	47404
MD5	D0DBFD7C3F5FAEAE6CA441884B634B42
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libzarith-ocaml-dev
PackageSection	ocaml
PackageVersion	1.2.1-2build1
SHA-1	35F9EC278643ED8E80F3F47486458BAB2C9FFBE3
SHA-256	2D346285B0462B3076B20391B857478ADBA9907C7DDD3DB6863A7CA9B3CB79B9

Key	Value
FileSize	48876
MD5	3D12A1CCADA0204C2A9502850AA8A847
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	6DE4642F3ADBE16A59C158A299B009C3BCAE0F61
SHA-256	3FCF5FD63AC5A8B8CE1AB3B756F749F22251C77D2C21BE8BA915AF2EF58A3BCA

Key	Value
FileSize	48026
MD5	BA44BA9BF5DA3711592565A2BA088F3B
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	BBB278AAE5457C708534CB0E1ABBF5DE9905F43C
SHA-256	8D05F486744832DB07765AA0869C366E61D8D76A0B927607A8D0767A873ADD19

Key	Value
FileSize	18356240
MD5	F5CE08B8F611D0148C24FE7CDF621550
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	E4712E27C515758F9E4D36AB07C7537D9A9E5446
SHA-256	4E9A1D0E1346963E3E950B2775C0A1D5D31D4ACA1C0D83F305DB22EA6A5F3136

Key	Value
FileSize	20987522
MD5	AF2CC0321DEFEDA09811929C0C8CCB0F
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	20130601+fluorine3+dfsg-2build1
SHA-1	96B6194F69EFD976D0BD905352942EC8A142276A
SHA-256	A675481CEDC066E92777B199FAA94C0C33522C1917EC0D623A2757DFA4E04AE0

Key	Value
FileSize	47924
MD5	032FEC639CE488A59F9B74528B3D3229
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libzarith-ocaml-dev
PackageSection	ocaml
PackageVersion	1.2.1-2build1
SHA-1	0776BF5118E1D7679478CF6BD645D1D02CF216CD
SHA-256	9D7C246DA843510E51035CD71C758AF713A0C72FCD24E3E48162AEAF2F343636