Format: 1.8
Date: Mon, 17 Feb 2014 08:40:19 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: armhf
Version: 2.33-2
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/armhf Build Daemon <buildd@kishi09.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.33-2) unstable; urgency=low
 .
   * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo)
Checksums-Sha1: 
 4d1df199b2462475984e41532fcee884a235929a 3374638 why_2.33-2_armhf.deb
Checksums-Sha256: 
 9cf063a24b78d4201bc8c1c8720cd5027d4b2ea1170a7b29b0ec1396cf4da996 3374638 why_2.33-2_armhf.deb
Files: 
 1ac52a76af4298d8f4cbf41cee4a14a9 3374638 math optional why_2.33-2_armhf.deb