all options
jessie  ]

Source Package: why (2.34-2)

Links for why

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libwhy-coq
Why library for Coq
why
Software verification tool
why-examples
Examples of programs certified with Why

Other Packages Related to why

  • build-depends
  • build-depends-indep

Download why

FileSize (in kB)MD5 checksum
why_2.34-2.dsc 2.3 kB 57372b55e6f604559889008a4c0c6d99
why_2.34.orig.tar.gz 3,638.5 kB 1e729c4ecb41892531563d34208d3e52
why_2.34-2.debian.tar.xz 10.3 kB ac40985ebd3ebd89a4dd59f46bec4e8f
Debian Package Source Repository (VCS: Git)
git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git
Debian Package Source Repository (Browsable)
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/why.git