všetky možnosti
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Zdrojový balík: why3 (1.3.2-1)

Odkazy pre why3

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
libwhy3-ocaml-dev
OCaml librariries for why3 (dev)
why3
Software verification platform
why3-coq
Coq support for the why3 verification platform
why3-doc-html
HTML Documentation of the why3 verification platform
why3-doc-pdf
PDF Documentation of the why3 verification platform
why3-examples
Examples for the why3 verification platform

Ostatné balíky súvisiace s balíkom why3

  • build-depends
  • build-depends-indep

Download why3

SúborVeľkosť (v kB)kontrolný súčet MD5
why3_1.3.2-1.dsc 2.8 kB d15364a443186f9cbd16e300a1cb1bd0
why3_1.3.2.orig.tar.gz 5,670.7 kB 932ff254d9cff097cba33c1ef2f51f4a
why3_1.3.2-1.debian.tar.xz 19.4 kB 578326923bfa4dc8702eec3de3709e68
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/why3.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/why3