Format: 1.8
Date: Tue, 29 Apr 2014 20:56:03 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: arm64
Version: 2.34-1
Distribution: utopic-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@templar.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.34-1) unstable; urgency=low
 .
   * New upstream release.
   * Drop deprecated patches:
     - deprecated-or
     - hashtbl
     - frama-c-versions
   * Bump build-dependency on frama-c to version 20140301+neon+dfsg.
   * Fix debian/tests/frama-c+jessie+alt-ergo:
     - run why-config when there is no ${HOME}/.whyrc
     - drop the specification of cpp-4.7 as this is no longer needed, and
       the dependency of that test on cpp-4.7
Checksums-Sha1: 
 42db4f9168f6c7a02714c6e34f00926eb3333035 10495384 why_2.34-1_arm64.deb
Checksums-Sha256: 
 0be3db6f5e7dd5da35d72d8a1cbd098e6178dc927670ec840f5a05a647bde2ee 10495384 why_2.34-1_arm64.deb
Files: 
 ce67ccb03f08fb5e75d3688187b35284 10495384 math optional why_2.34-1_arm64.deb