Parents (Total: 19)

The searched file hash is included in 19 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	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	1046118
MD5	63243DB791965E86A2EC889CC26DB2D0
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	27B8773D784CE71E4FC00FEA19ABA883D9DCFB96
SHA-256	FFFE41D501A90A3963E2B7921D18FFBBF436E082EF9C343F7FDECAF94EECA8B2

Key	Value
FileSize	3293150
MD5	5C17CB94EEF3B81B7CEA15F9FF664A26
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	33DF2007676DAD1B5654D99EAE6F54C80D5A0884
SHA-256	F5DF90861654756EFD0A230753DCB51E8D5B05868847A32A963D04073192D40F

Key	Value
FileSize	647864
MD5	DE380968090C391ED8446CEFC0D301DC
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	623155F4D262E422C362683B39D9169D36A358B1
SHA-256	BB7D3C4C781E9702D75D6146A601E72096A82B3415CD2D58B9D4D7CF61F2E7B8

Key	Value
FileSize	100654
MD5	660941B477C1237588AF365AE8C13D22
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 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-4build1
SHA-1	656489D74A74274FCE527384FFAC5DC16C6F1D86
SHA-256	0BA7EF1B0A2569F78876B051392EAB6320512232A1FBE34136D3F154FEEA2F31

Key	Value
FileSize	76896
MD5	1623DBBD116E9BC74868947D6D187F28
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 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-4build1
SHA-1	778C4E476843A80149BDFAE3CEDD5A0694D10190
SHA-256	083DF4FC633036B745F14488157CF58A46062060E3865975EC912A42FE08CFE2

Key	Value
FileSize	4762208
MD5	A2FFE3838BDD0D14E8415073D8FF6B47
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	9FFDEF50D1C60E45C6A5A54F8AB620DDE4715B47
SHA-256	70F8FDF0B25782DB8F1F1694792D185F40C24CCAA88E231D0656A0A8E8537452

Key	Value
FileSize	67568
MD5	56D5436044A7ADE901DFEB446539CDC2
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 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-4build1
SHA-1	A2239A8771327ACEF13FB40D42F86066AC71D3F7
SHA-256	823D337834A6F7704BA8B9C8A7EF220612CB3DB3C17BDD94E8AFFA98215F58CB

Key	Value
FileSize	3090480
MD5	7126773957875191DE98D695861FA2D2
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	A2B2887A039DC323070384AACBD3F7BC0FF46CCB
SHA-256	14D086F30F4AB027AB2C2860766A0EC00304CE1CD256769BC11F0E6AAF5FA097