Parents (Total: 2)

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

Key	Value
MD5	563B4660898F1644EC8DBEFAF26BDC50
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	3.fc19
PackageVersion	1.9
SHA-1	FC39047C5A57CC681B55D59E63A15F400A274A21
SHA-256	B03227664AA32F4A6783642E76FEFCA5FDA29D7C221436010AC05E2E25185EBF

Key	Value
MD5	DC0E5EFDE0165CA2A7AF3CB55F8DA30B
PackageArch	armv7hl
PackageDescription	This library implements arithmetic and logical operations over arbitrary-precision integers. The module is simply named "Z". Its interface is similar to that of the Int32, Int64 and Nativeint modules from the OCaml standard library, with some additional functions. See the file z.mlip for documentation. The implementation uses GMP (the GNU Multiple Precision arithmetic library) to compute over big integers. However, small integers are represented as unboxed Caml integers, to save space and improve performance. Big integers are allocated in the Caml heap, bypassing GMP's memory management and achieving better GC behavior than e.g. the MLGMP library. Computations on small integers use a special, faster path (coded in assembly for some platforms and functions) eschewing calls to GMP, while computations on large integers use the low-level MPN functions from GMP. Arbitrary-precision integers can be compared correctly using OCaml's polymorphic comparison operators (=, <, >, etc.). Additional features include: - a module Q for rationals, built on top of Z (see q.mli) - a compatibility layer Big_int_Z that implements the same API as Big_int, but uses Z internally
PackageMaintainer	Fedora Project
PackageName	ocaml-zarith
PackageRelease	1.fc19
PackageVersion	1.2
SHA-1	04B058674AC10D4125004EC78644C2FDB07A000E
SHA-256	538099565A6B5CF04F9F5E87CBFED0DBF5A9138D8C06536256AD47BF43AB9FFE