sci-mathematics/
why3-for-spark

Platform for deductive program verification

http://why3.lri.fr/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
2019-r2 : 0 S ~amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
2019-r1 : 0 S ~amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
2019 : 0 S ~amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
RedundantVersion slot(0) keywords are overshadowed by version: 2019-r1
RedundantVersion slot(0) keywords are overshadowed by version: 2019-r1
2018 : 0 S amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc

Package Metadata

Changelog