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

Paquet source : why (2.39-2build1)

Liens pour why

Ressources Trisquel :

Responsable :

Original Maintainers:

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libwhy-coq
Why library for Coq
why
Software verification tool for C and Java

Autres paquets associés à why

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 10)
    helper programs for debian/rules
  • adep: dh-ocaml (>= 0.9~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no X)
  • adep: ocaml-best-compilers
    Paquet indisponible
  • adep: camlp4
    Pre Processor Pretty Printer for OCaml
  • adep: coq (>= 8.3~)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: libocamlgraph-ocaml-dev (>= 1.4~)
    graph library for OCaml
  • adep: frama-c-base (>= 20170501+phosphorus+dfsg)
    Platform dedicated to the analysis of source code written in C (without gui)
  • adep: camlidl
    Stub code generator for Objective Caml
  • adep: why3
    Software verification platform
  • adep: why3-coq
    Coq support for the why3 verification platform

Download why

FichierTaille (en ko)Somme MD5
why_2.39-2build1.dsc 2,4 ko ed098fdc3216c142759d5edcd0db9a4a
why_2.39.orig.tar.gz 1 654,9 ko d03ea54b2d37039d26a1f2f82b61d860
why_2.39-2build1.debian.tar.xz 11,5 ko 9bf78a62f38196bebcf60f35d61a56cf
Dépôt Debian des paquets source (VCS: Git)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why.git
Dépôt Debian des paquets source (interface web)
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why.git