Parents (Total: 126)

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

Key	Value
FileSize	126564
MD5	3329166690D848861016D45511BDEAFD
PackageDescription	abstract interpretation library 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 C.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-dev
PackageSection	libdevel
PackageVersion	0.9.10-9.1build3
SHA-1	013428EFFE60869A54CB1430719881BA414B140C
SHA-256	21C2BDCCDF46124378C2B2844474E54C22E8ACDCA74EB14286E958F2AB64D3C2

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	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	126764
MD5	109C95346D44A7917A888B32AC7A3209
PackageDescription	abstract interpretation library 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 C.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-dev
PackageSection	libdevel
PackageVersion	0.9.10-9
SHA-1	0A2662B5F5F0B12A2C7715AC6ED000A850732356
SHA-256	A80B81F6E3EFA8B3565EFB6C9CB3FC01578109583B9E71CC63C8D976F4749A2A

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

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	3446348
MD5	B84BC3140A88C348585732907CB0BDF8
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.2ubuntu2
SHA-1	0D24C3B2CCF9EE0F8160FE1D08F8A72D4E666E09
SHA-256	FFAAF4493DDE86BAF0AF7B58D62B227391599B3537842DE749F002DD38C21C1D

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	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	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