Parents (Total: 229)

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

Key	Value
FileSize	416042
MD5	AF84F1D6365C02DE8E757508B6141B8F
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b1
SHA-1	0066D8A28D8CE5AA2ACE6EB22DAC33277827060B
SHA-256	AA26C477099128994802216F91FFB241FD7FBB31AEA1E5D5B5A1FC882B35E911

Key	Value
FileSize	51824
MD5	1D164F59D4EEFBA251CB70672B845436
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-9
SHA-1	01036D9C0B880C39D8914824A0FDF718DEC177C2
SHA-256	4C9E08BDB4260505D027ADFC8BF34F2846A5F4E1493D7F4DED23B2BB05B023DC

Key	Value
FileSize	50256
MD5	013E13829E9B4ECAF7F18140B16D8324
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron-ocaml
PackageSection	ocaml
PackageVersion	0.9.10-9+b1
SHA-1	010B80FE175E2BE1B422A1C75FAC14BE9C2CBB01
SHA-256	A7CB5252F3F0FBBC61A840E717BC782A8E27F6759B75B48CF092501D6BAC46BC

Key	Value
FileSize	126564
MD5	3329166690D848861016D45511BDEAFD
PackageDescription	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-9.1build3
SHA-1	013428EFFE60869A54CB1430719881BA414B140C
SHA-256	21C2BDCCDF46124378C2B2844474E54C22E8ACDCA74EB14286E958F2AB64D3C2

Key	Value
FileSize	428740
MD5	BE62B3379060FB89D15C00242552072F
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b3
SHA-1	018484AF41DF687C6C3F493D0FAA15D10BA41D42
SHA-256	EC888867E40FD7118F5DC6DCF9C4DAA586E21BCF4F6FFEAC994C3D7611B8D984

Key	Value
FileSize	55778
MD5	9612714490E5BD5D0C77CA6AA9A62985
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-9build1
SHA-1	0530C450EE9D6C37652FD9EB4FE8F182431025EF
SHA-256	C47B5807A16471BDB0E4B4208C767F4324E6C3FD40EB778DD0306F679ED952F9

Key	Value
FileSize	50100
MD5	35F20C9D804C9CB199FC0AF648D4D8BD
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-9
SHA-1	05ED7E3152E98669C4865F9DD5D0353F4C1C2800
SHA-256	D3834212A9CA27B13E96280480A00AE61B1A1987C130D04532AC480EB28BAF7E

Key	Value
FileSize	471148
MD5	6C3FA12357B3F1667C50626ED7D3DE77
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-9.1build1
SHA-1	0808D63D9896DF86067AE4144D81D6F595D684CF
SHA-256	A7865EB2FA356B7F6BFBED0E68CBA6A977924185FA8D125B8BC92D7ED74BC8F6

Key	Value
FileSize	1295728
MD5	B4D26F25041408D63A16E0BE1A74BB42
PackageDescription	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-9build4
SHA-1	08B1B20C656373B796C7C7188913F7EA51C5E525
SHA-256	6CF519572D4034842B475A12383511F3DB18CF395F82314E0D56B96D205E22FF

Key	Value
FileSize	427080
MD5	F974D857E1C893CE28B9FEFC59A2E796
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libapron
PackageSection	libs
PackageVersion	0.9.10-9+b4
SHA-1	08D929C495C854175A6921DEEF35E600CB23B81E
SHA-256	73A05F1680B59542780279F62E52AA58251DBFEA624A5A70B291D9F67D0647A6