Parents (Total: 13)

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

Key	Value
FileSize	3534012
MD5	9EDE0F4D65A43116DA3C63F94E26633E
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.2ubuntu3
SHA-1	983C12580235087AFF681FAFD7139859759BADD3
SHA-256	4A4980867C2C1A119530E2CF3694A9E3DAD8CC6A081F3640B2E16A9F89DBD214

Key	Value
FileSize	3285576
MD5	AB5C6ECD354FE94AB7B25849479A649F
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	2603ACFC0CFA0D09514F0B075BC43EEFFF78EA71
SHA-256	449084C4DF839160DE61063DAB83EEB9C83C4B8DF8B7096886D601D3D1FEA370

Key	Value
FileSize	2962264
MD5	994F7C7C490F3DD58159090D5F49F08F
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.2ubuntu3
SHA-1	47730F702F45954C3172913AE37758F6D8B8A877
SHA-256	21C30E4844615BB21B32D1AB537BFA4B7BBE1A40645D34A4B2DF40164F441C98

Key	Value
FileSize	3346340
MD5	C9D00071946BAE26E185D21971138883
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	F4BD305D54B734CA204FFA38B418E81825BF2CE1
SHA-256	1C418C367ACC8ED0C6701C0A53E72B6A2D2633AE1B574365BA16517AC7E6CE42

Key	Value
FileSize	3418526
MD5	8F73545943C5E4F7A0D1FDC87F816449
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.2ubuntu3
SHA-1	CE9DEEB4BBD8DE13EE932B7AD77AAD2709E3098D
SHA-256	39176382314DE69D361E410A2EA498A6EBB1653EEF2E663935218E6CB8D58116

Key	Value
FileSize	3619180
MD5	B66067926E05304F201540D42FB27F17
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	A07FF1530BA3AFC5E0085930B450D02DBA88ACED
SHA-256	BF1241991397D4CBC69066486E1FC0A428FD367265E8D1367DDDF1909709BB96

Key	Value
FileSize	2957742
MD5	F742ADF042233326D316BC8E9AB22F5C
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.2ubuntu3
SHA-1	CDE1DC780DAEB77EC8D10E6F560032D6C3AFFFFE
SHA-256	B37346567A1FB50B38A4AB2958076697529DCD5380AD92D71EB99EA2B97286E6

Key	Value
FileSize	3480996
MD5	7E6436A67F3696C310C9C923905091E1
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	D31E58FD1A2BB10D6EA3369A8787E0996446146E
SHA-256	74FEFC6BA4F145B69A9F8BC9F08BA4F8A0D74144932E0BE9D9A3E19289F6A901

Key	Value
FileSize	3418568
MD5	DFBBE43E4EFF29083E62240B120B2EF2
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	A14AF51756A03D4F0E574F36FE62503084FEC2A4
SHA-256	791A4D69D35488462356EE48ABDC770F716F91A16FB545377ABE49DFB3C91B80

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	3285690
MD5	FD265FF9A1D0ACEDBFEE4B450471030F
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.2ubuntu3
SHA-1	1AD16E8430C0A6102AB54A549B4E727FBCFBD1E9
SHA-256	611339E24F07886FB64B453CEFF47FB758C3D1BDDC3DBB241FE045F9B73E8440

Key	Value
FileSize	2968692
MD5	6F711335FF63196DC22EF3C6E5A8D6A1
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	FDD663280F8E9F0EDE17F6C117904F1BB3C0C7D4
SHA-256	ED28B314B7C58BA990F859E1E50F734B1B46D61BAC12CEDE0436B9B3A11C3B41

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