Parents (Total: 7)

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

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	1257272
MD5	2DBD98BE2FF2BEC9A84FA8CFE0A54284
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	42AFA3A2B0809B84E20EFA809D0E8381C810BA80
SHA-256	740B1222009BEB10B4C609493D2A85B919B54B4EB3477FEC0AC9E7EE21BDB56A

Key	Value
FileSize	1266332
MD5	ABBF454813325334306871B4A05AF312
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	E11C0628D31FB77BFB49DCCCFA435FC695AC38C8
SHA-256	A66230F3D041591FF4CC48F52A8194D86DF3707C556B2EEE1040A92EAFF93590

Key	Value
FileSize	1431396
MD5	9D0F42260E2DA4933F233592603F758D
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	C33E18EF64CEC1A2BF21FB24009AE6E26E6FECCF
SHA-256	5D9AF0C79C4B642EC160FBF165BA853E630EC2B64950059556D999683CAB3DDB

Key	Value
FileSize	1551916
MD5	95E5E1C4E81D6E7C9623CEE78C0A2610
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	F7C319E96C9A6C4F81888BF21B2D58A30E796C95
SHA-256	1ECD9A7E9B8CC9E63AA2681D4EA37A684405FB1E033E269DE109BA2F527AEB43

Key	Value
FileSize	1293472
MD5	6CFC3691D00A4DD1A861428E6AC6956C
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	5E00B388995F8BE1A12E3091F8F9ADF1CAA6ED1F
SHA-256	9B8139E4397FAD12A4E3746BEB7A83096A3E81083510466BDAD502D425092CC8

Key	Value
FileSize	1354016
MD5	CA5A400981FE6449AF3A1D92256C1C0F
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.1build3
SHA-1	E0CDC872293EF7B09EC3875A977C66A43F4DCE47
SHA-256	EA2C7D899F976496C48FB551C24128F89A89B5B883E2545865965DEEF987FCD8