all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: why  ]

Package: why (2.38-1 and others)

Links for why

Screenshot

Debian Resources:

Download Source Package why:

Maintainers:

External Resources:

Similar packages:

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).

Tags: Software Development: Testing and QA, Implemented in: OCaml, Role: Program

Other Packages Related to why

  • depends
  • recommends
  • suggests
  • enhances

Download why

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.36-5 3,345.1 kB18,982.0 kB [list of files]
amd64 2.38-1 3,055.6 kB20,142.0 kB [list of files]
arm64 2.38-1 3,053.5 kB20,120.0 kB [list of files]
armel 2.38-1 3,095.2 kB18,486.0 kB [list of files]
armhf 2.38-1 3,207.3 kB17,440.0 kB [list of files]
hppa (unofficial port) 2.36-5+b1 3,344.6 kB18,981.0 kB [list of files]
hurd-i386 2.38-1 2,908.9 kB18,079.0 kB [list of files]
i386 2.38-1 2,910.2 kB18,075.0 kB [list of files]
kfreebsd-amd64 2.36-5 1,214.5 kB7,236.0 kB [list of files]
kfreebsd-i386 2.38-1 2,911.5 kB18,079.0 kB [list of files]
m68k (unofficial port) 2.13-2 9,876.1 kB26,408.0 kB [list of files]
mips 2.36-5+b1 3,344.6 kB18,981.0 kB [list of files]
mips64el 2.36-5+b1 3,343.9 kB18,983.0 kB [list of files]
mipsel 2.36-5+b1 3,344.0 kB18,981.0 kB [list of files]
powerpc 2.36-5+b1 1,132.6 kB6,090.0 kB [list of files]
powerpcspe (unofficial port) 2.36-5+b1 3,344.8 kB18,981.0 kB [list of files]
ppc64 (unofficial port) 2.36-5+b1 3,344.8 kB18,983.0 kB [list of files]
ppc64el 2.36-5+b1 3,344.6 kB18,983.0 kB [list of files]
s390x 2.36-5+b1 3,344.6 kB18,983.0 kB [list of files]
sh4 (unofficial port) 2.30+dfsg-5 16,282.9 kB41,750.0 kB [list of files]
sparc64 (unofficial port) 2.36-5+b1 3,344.3 kB18,983.0 kB [list of files]
x32 (unofficial port) 2.36-5+b1 3,344.8 kB18,981.0 kB [list of files]