Parents (Total: 108)
The searched file hash is included in 108 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 | 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 | 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 | 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 | 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 | 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 |
Key |
Value |
FileSize | 419442 |
MD5 | 451B8B6E07178CA26EF3C64BD777D0A8 |
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 |
SHA-1 | 0D5503F0D60EFA0B722F80C513BB52A4AFB5B748 |
SHA-256 | 0FAAB3C77823A151B39BD555933B1AC3E998F71DA831EB503DAC16BC34AF0316 |
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 | 407036 |
MD5 | 894ECE6C94F3D72C245D3F1C165D46E8 |
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.1 |
SHA-1 | 164193FE037BD5DBC1CC030BF6FCEC2E528C2C1D |
SHA-256 | C5DDCE36D5C0374EDBA5B32740B464C858FC1EA914B21E3B3F05CE9ED518BF63 |
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 |