Parents (Total: 145)

The searched file hash is included in 145 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	1336052
MD5	3DA75963742B2B301A34CEB4252E5F4D
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.1+b2
SHA-1	0D05D67757CEA5216DB958D16DAA60AE254B8E37
SHA-256	3126CCC56C286EAD6473E3DC15EC9EB082ED5AFC60BF2FD951B7970DB00F1EA4

Key	Value
FileSize	3295784
MD5	4F37F258464C7756876D7AC5F84471E1
PackageDescription	an 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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-5
SHA-1	0F75F683F839FE07E30E60EDA6DA6618D5D02364
SHA-256	E3B6A742F58A4D00C19F69697356FBA46C99E3CC9D2C92D0C848FE82E50080F6

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