Key | Value |
---|---|
FileName | ./usr/share/doc/why3/changelog.Debian.mips64el.gz |
FileSize | 227 |
MD5 | F2558C5AD40CFD9BD6826740F0871F16 |
SHA-1 | 0DF433F105B629C7A926054F7DC66C7E6C6FE256 |
SHA-256 | 3C0908822D94F37D0FAB539B9C0D39EE443F07465D7114EC7FC8699B6611758C |
SSDEEP | 6:Xt70FPHX0J8gGG9hiDM8rNt8/EY+e7vabEhz60nXdO:XK3w990DTrNtovD7ib8Xk |
TLSH | T1EDD0A71C609A54A764793776650E590EA198032482FA7C1B51650A1624C186B8D82B52 |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 87014776 |
MD5 | 6C5304E56600C18386ECD94C9C8882FF |
PackageDescription | Software verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | why3 |
PackageSection | math |
PackageVersion | 1.3.3-1+b4 |
SHA-1 | 41EC9B946E45103A0F4F1C74018C0AD4E62F8E35 |
SHA-256 | F33AB4517EF3D3A171EE45C9B49C88B57DB18B700839AD97F9CD9443DAD2E57C |
Key | Value |
---|---|
FileSize | 5395852 |
MD5 | C5C9E0EB73F0F3CC32DC4F252E70488E |
PackageDescription | OCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libwhy3-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 1.3.3-1+b4 |
SHA-1 | 09F850A1FEC00A3E73FCB501AD07BB7C4D839001 |
SHA-256 | E43F146B4155FC1C00F20BA5356B50971B4ACDA8A57E3F38BF7B336A687E5561 |