Publishing details

• Published on 2017-02-01
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

why3 (0.87.3-2) unstable; urgency=medium

  * upload to unstable
  * as-installed test why3+z3: do not fail when z3 segfaults.

 -- Ralf Treinen <email address hidden>  Sat, 21 Jan 2017 21:02:08 +0100

Builds

Package files

• why3_0.87.3-2.debian.tar.xz (12.1 KiB)
• why3_0.87.3-2.dsc (2.6 KiB)
• why3_0.87.3.orig.tar.gz (4.3 MiB)