Skip to content
Sections
>> Trisquel >> Paketit >> etiona >> math >> why
[  etiona  ]
[ Source: why  ]

Paketti: why (2.39-2build1)

Links for why

why

Trisquel-palvelut:

Imuroi lähdekoodipaketti why:

Ylläpitäjä:

Original Maintainers:

  • Debian OCaml Maintainers (Mail Archive)
  • Samuel Mimram
  • Mehdi Dogguy
  • Ralf Treinen

External Resources:

Samankaltaisia paketteja:

Software verification tool for C and Java

This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).

Muut pakettiin why liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: frama-c-base (= 20170501+phosphorus+dfsg-2build1)
    Platform dedicated to the analysis of source code written in C (without gui)
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
  • dep: make
    utility for directing compilation
    myös näennäispaketti, jonka toteuttaa make-guile
  • dep: ocaml-base-nox-4.05.0
    näennäispaketti, jonka toteuttaa ocaml-base-nox
  • dep: why3
    Software verification platform
  • sug: libwhy-coq (= 2.39-2build1)
    Why library for Coq

Imuroi why

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 3,391.0 kt22169 kt [tiedostoluettelo]
i386 3,140.4 kt19225 kt [tiedostoluettelo]