Parents (Total: 279)

The searched file hash is included in 279 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	723194
MD5	87D935AF0895E4C54444C93A9685ECED
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-4build1
SHA-1	0157F65D1068FF4F7866C74CF43D837C2A62F4C7
SHA-256	FAA464726E749AD34382D11B4124E492C872F8BC1BEA4A5E92FF4A6271410456

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	2969936
MD5	B096B0E51F426E1CC730030D63D3F7C6
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.2ubuntu4
SHA-1	019BDFB31BC896057CE58C9B26DFB4DF63CBB121
SHA-256	4161FD2252B79362A05380C02FA2EC6C001980E7BA12B25536728ED517E53BB6

Key	Value
FileSize	471148
MD5	6C3FA12357B3F1667C50626ED7D3DE77
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9.1build1
SHA-1	0808D63D9896DF86067AE4144D81D6F595D684CF
SHA-256	A7865EB2FA356B7F6BFBED0E68CBA6A977924185FA8D125B8BC92D7ED74BC8F6

Key	Value
FileSize	708542
MD5	2EC2B741079637BA436029465E8E9AD5
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-5.2ubuntu3
SHA-1	08904C0C59D95AC593295B45899A24CD4583069F
SHA-256	D54614B3F0C6FD8B03CC0A906F5F7A4AE1001A6C6E7F8CDB3766235316294DA6

Key	Value
FileSize	1295728
MD5	B4D26F25041408D63A16E0BE1A74BB42
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-9build4
SHA-1	08B1B20C656373B796C7C7188913F7EA51C5E525
SHA-256	6CF519572D4034842B475A12383511F3DB18CF395F82314E0D56B96D205E22FF

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	1172702
MD5	A3689BA16FF6A689C72FD8C1D89361B5
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-9
SHA-1	0A70ADABEC9F3675957F94E5EA70131EA374714D
SHA-256	5494D0FB11D54656609D630BDB3502184DEC37B43CB3F30C18C1FD1AF6964CA7