Parents (Total: 113)

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

Key	Value
FileSize	723194
MD5	87D935AF0895E4C54444C93A9685ECED
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-4build1
SHA-1	0157F65D1068FF4F7866C74CF43D837C2A62F4C7
SHA-256	FAA464726E749AD34382D11B4124E492C872F8BC1BEA4A5E92FF4A6271410456

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

Key	Value
FileSize	59758
MD5	9AF14E7C6808E950FD0C8323499825A8
PackageDescription	runtime libraries for APRON (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 include only the dynamic libraries needed for running dynamic bytecode executables.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-ocaml
PackageSection	ocaml
PackageVersion	0.9.10-5.2ubuntu3
SHA-1	0591947D8EF77F9C0CF3F9AF408516300AAB5A93
SHA-256	B129767860C3A6209063753ACA349ABD64FEF272362B72D9B0A011AABE2BA323

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	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	3295784
MD5	4F37F258464C7756876D7AC5F84471E1
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
SHA-1	0F75F683F839FE07E30E60EDA6DA6618D5D02364
SHA-256	E3B6A742F58A4D00C19F69697356FBA46C99E3CC9D2C92D0C848FE82E50080F6

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	3279746
MD5	01D07DBF3BEDC522AB7DAF78AC3248AB
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 OCaml.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libapron-ocaml-dev
PackageSection	ocaml
PackageVersion	0.9.10-4build1
SHA-1	13B766D46178CEB7669658FF9DA3229CEA808DF3
SHA-256	AF7FF3ECD374D032311AD98CFC16BF9AB1CF76AB8964C8002BC1ED03F080B26B

Key	Value
FileSize	3074824
MD5	54ABD51A660FEAFE2ED6169D27FC8407
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
SHA-1	151AC1D773CFA2008429AD58931D6621C2BA81A5
SHA-256	0115BEB3F0D2DC4AFA80703A835B3E2A15B6CF320B1D314FACBC860755F53CAD

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