Parents (Total: 25)

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

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	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	1243306
MD5	3788449A7E43C88057EA4B1069F60CF5
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	1EB0023469877FE35725B7BF1A6A5B9C67EF18E4
SHA-256	0537D864D77870DD602E607789147705CB9BB04BBE9CB283304CC576D641604E

Key	Value
FileSize	1279122
MD5	18D95B5D93BA4F558A87660DC0A4EB65
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-9build1
SHA-1	2705674774CB5C6110EC88A42BE36AB501140406
SHA-256	6850CD5DFB76D6BE44CFEB45BD451B8D34BE2A350B2DFC2F9352C2373ECB172B

Key	Value
FileSize	1245586
MD5	5514575FAA6659D24CEB79AF27E948DF
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	309254A676BE4B9D84AA4F89E562F8E657BA2503
SHA-256	233367EB3D3F3DD3F5B00ABC65A039415B513107406D9380D544DC1E117F79F1

Key	Value
FileSize	1132696
MD5	6125360E3ECD89E7871182B26C3543F7
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	46660A3593DF03D340B94C723C149874C6F722EE
SHA-256	49166EE83677C445559845C4D391E4579E52B324E7706846B0EB989DC4BAF23D

Key	Value
FileSize	1128044
MD5	1ECF69AE8E9E72FC29931C13C901FD7A
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	4694CAAECFF6A31B1F5139179C5ADBC4F9D62FD3
SHA-256	1F7B20FA60B6C2A9CCEB599D89DCC3972824617773BBD89BA3C6A45CDEFC30A6

Key	Value
FileSize	1427206
MD5	4F5FC919F2B502327E5682E236D1B67F
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	4A771DEE39B48C8BD86897D1532FA44EC1C80D8B
SHA-256	2477A4A1B4DF3ACB756EF32BE3D77944C01A8469D3DE6DC1D892DB60A1CED7A6

Key	Value
FileSize	1283922
MD5	4738FCAC2A12F946E1A6E5AB3D7787FD
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	4D39CEF59423B2C1BA8F3323F4EEC3567C304DFF
SHA-256	4371009F8937D6CD225D83F003E8BEA22CF8D45A162B0018DB22806DA7D1EE35

Key	Value
FileSize	1138908
MD5	F9BA66C548E91F38EA836086F8718762
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	4F7F5C24836F5B85E2A762CC7147BE43C2296AE8
SHA-256	7164487289ADF1883366E7279F02BBB3247570F28CB02ACF642878AC070AA54B