Parents (Total: 76)

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

Key	Value
FileSize	416042
MD5	AF84F1D6365C02DE8E757508B6141B8F
PackageDescription	runtime libraries for APRON The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the shared libraries needed at runtime.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b1
SHA-1	0066D8A28D8CE5AA2ACE6EB22DAC33277827060B
SHA-256	AA26C477099128994802216F91FFB241FD7FBB31AEA1E5D5B5A1FC882B35E911

Key	Value
FileSize	50256
MD5	013E13829E9B4ECAF7F18140B16D8324
PackageDescription	runtime libraries for APRON (OCaml interface) The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package include only the dynamic libraries needed for running dynamic bytecode executables.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml
PackageSection	ocaml
PackageVersion	0.9.10-9+b1
SHA-1	010B80FE175E2BE1B422A1C75FAC14BE9C2CBB01
SHA-256	A7CB5252F3F0FBBC61A840E717BC782A8E27F6759B75B48CF092501D6BAC46BC

Key	Value
FileSize	428740
MD5	BE62B3379060FB89D15C00242552072F
PackageDescription	runtime libraries for APRON The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the shared libraries needed at runtime.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b3
SHA-1	018484AF41DF687C6C3F493D0FAA15D10BA41D42
SHA-256	EC888867E40FD7118F5DC6DCF9C4DAA586E21BCF4F6FFEAC994C3D7611B8D984

Key	Value
FileSize	427080
MD5	F974D857E1C893CE28B9FEFC59A2E796
PackageDescription	runtime libraries for APRON The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the shared libraries needed at runtime.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b4
SHA-1	08D929C495C854175A6921DEEF35E600CB23B81E
SHA-256	73A05F1680B59542780279F62E52AA58251DBFEA624A5A70B291D9F67D0647A6

Key	Value
FileSize	50782
MD5	A5DA761F902B2E8CB7B46C5DEC01B9D8
PackageDescription	runtime libraries for APRON (OCaml interface) The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package include only the dynamic libraries needed for running dynamic bytecode executables.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml
PackageSection	ocaml
PackageVersion	0.9.10-9+b1
SHA-1	0F814D5CC5A3090D86A7DE63ED9B134AD311D42B
SHA-256	F214B9F136B9079B09A2BBAB2F539E95B615B6C1F79FB34408586209CD4EC388

Key	Value
FileSize	1251792
MD5	AAE09A84039A8310C400652D29848294
PackageDescription	abstract interpretation library (OCaml interface) The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the files necessary to use the APRON library in OCaml.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-9+b3
SHA-1	0FC7134249B2367860DBB53D89CB0FEC90DABE9C
SHA-256	2FD5D478955A99BE7FA21E1F8B6FCFD6F27ABCD617CE3C753789B0FD2D5E2ED3

Key	Value
FileSize	49272
MD5	E4AA811CEBD47A221552B813397300AA
PackageDescription	runtime libraries for APRON (OCaml interface) The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package include only the dynamic libraries needed for running dynamic bytecode executables.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml
PackageSection	ocaml
PackageVersion	0.9.10-9+b3
SHA-1	10CB506521CFE615DE2E5552E202747DE58319BC
SHA-256	C5DABEDC9602F979C79084AED67B703B458D9228046E89F8F3906B8D670DA582

Key	Value
FileSize	1390544
MD5	B4347D5F66AD44100172D4547BD55222
PackageDescription	abstract interpretation library (OCaml interface) The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the files necessary to use the APRON library in OCaml.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-9+b1
SHA-1	13AEF07A1AA427EDF2502B0EF4AF9D13E0B68827
SHA-256	D3A2ABA3620B89642F9189DAEF0A6A0ED009B376B61A53FDF756C530B03B9BEE

Key	Value
FileSize	462704
MD5	90DD7B89A004EE00FD781DAC5797A38E
PackageDescription	runtime libraries for APRON The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the shared libraries needed at runtime.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b1
SHA-1	262FC01EB219CEADDBF661E98DA171155B9E96D7
SHA-256	F5BA26C376BD8206954B9D73EE7243E46482A298513DA75A2B7862D702463676

Key	Value
FileSize	439968
MD5	0353C9F1CC3C5E5EEB4CEF0D0D6B74C0
PackageDescription	runtime libraries for APRON The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the shared libraries needed at runtime.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b1
SHA-1	2645DF3461C3FD3B9E814BF80C15B14550895FC4
SHA-256	057F7F742E6D3258FB851556340A9811950A709C9DE52D02B0EBBF0CCEC28A11