Parents (Total: 9)

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

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	755276
MD5	470EA46895D4722FDC90D5FA18B33AFD
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.2ubuntu2
SHA-1	418A55D941E10074752B23A9E416849459A18579
SHA-256	314383029D2BB34E7DF810846CE0A89EA20D5E57748678CA8325938A327776EB

Key	Value
FileSize	708408
MD5	FE23D947DD245597181D14A6FB21C413
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.2ubuntu2
SHA-1	D72DF9FAEB1E476E549EBF9D3288636BD09991C2
SHA-256	239198E8E77B489BB766E4C3001F6E0FE3A79F04712AAB8EF44D7D348F30B3AD

Key	Value
FileSize	578356
MD5	2A179011C4C88AA87C0F4247BCD8BF5C
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.2ubuntu2
SHA-1	DCDD56BBEC94E0302B4E048844F89DD07B0E30FE
SHA-256	EC433EBBF21E2A5DBE2D8DABDFBEC26B3323B9FE2A9E681E45BB5759DD101B7D

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	683790
MD5	F766923711CD8D857BE9C025052435A6
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.2ubuntu2
SHA-1	1C258C5934E2C04A2A14A2A862762E6264886D8F
SHA-256	86226588FFBDA9951791F808082BF00E6A09D155F5635420414B1973213AFA94

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	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	175312
MD5	2C90F611140A3F05B9B31533646E4C2F
PackageDescription	an 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-5.2ubuntu2
SHA-1	97F8DC5632DF0FEDA1F51105AC596C576B49B2AF
SHA-256	DAFEB04E8E1563FEB2B4EE9EF9BA41734A7A813617B4BD4E4FB1A71090660CA8