Package: why3-examples (0.88.3-1ubuntu4)

Links for why3-examples

Trisquel Resources:

• Install using apturl
• Entry at directory.fsf.org
• Bug Reports
• Changelog
• Copyright File

Download Source Package why3:

• [why3_0.88.3-1ubuntu4.dsc]
• [why3_0.88.3.orig.tar.gz]
• [why3_0.88.3-1ubuntu4.debian.tar.xz]

Maintainer:

• Ubuntu Developers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Ralf Treinen

External Resources:

• Homepage [why3.lri.fr]

Similar packages:

• wireshark-gtk
• x11proto-dmx-dev
• x11proto-dri3-dev
• x11proto-damage-dev
• libx11-data
• wise-doc
• libz3-4
• libz3-dev
• bacula-common-mysql
• z3
• berkeley-abc

Other Packages Related to why3-examples

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Download why3-examples