Parents (Total: 11)

The searched file hash is included in 11 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	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	194520
MD5	723CF37BFF121858E060BE46F513780C
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.2ubuntu3
SHA-1	59E4A06065478996B16E975447CA0B780A0C66BC
SHA-256	2B02040B03448B20E9A3F4F88C20AF85C2089C13DBD7AB5335EBD0E46F0E8088

Key	Value
FileSize	755988
MD5	42DA58C1DC24998C4566277CBB415E63
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.2ubuntu3
SHA-1	829C0B01DF8A5D5A1163D18023AA33F563156BBA
SHA-256	F9D3550752D2B3ACB777F4F1D96A17CF0EB73A5B5D0ECC3B8366B8D2A4F85D65

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	683828
MD5	56A3C1536CB3BF597D2F1125B1FA5E05
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.2ubuntu3
SHA-1	4037622616A3092C7B471BB1CA49E55E8A7A48C6
SHA-256	8A3820B6B3F30BD424D9536933982A8782F127D8B4CA44F3DA3EE42917C71E92

Key	Value
FileSize	575582
MD5	930FA69AEB9C5652262107722D8DE4E6
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.2ubuntu3
SHA-1	132C68A56575F16FEBF1C6D5D0B598F5E1742D1B
SHA-256	8CBF181730997943B1C473E2A36AD10E2D63AC8DC1F2D19BAA46B07F7464630F

Key	Value
FileSize	577020
MD5	BB1279C38729DE3F417D7FCC6D2D711C
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.2ubuntu3
SHA-1	31F26F379920DC8CF52099933BBC23E0A2532AC7
SHA-256	82976B609DAB4238720DB32411E2E8FD80585D84D20139527660F442BDDB9A04

Key	Value
FileSize	708542
MD5	2EC2B741079637BA436029465E8E9AD5
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.2ubuntu3
SHA-1	08904C0C59D95AC593295B45899A24CD4583069F
SHA-256	D54614B3F0C6FD8B03CC0A906F5F7A4AE1001A6C6E7F8CDB3766235316294DA6

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