Format: 1.8
Date: Mon, 17 Feb 2014 08:40:19 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: i386 all
Version: 2.33-2
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@akateko.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: 
 355474b11fb47da9cf1be8bfd34b19ea95b84e56 4765596 why_2.33-2_i386.deb
 57f4db04a6f42c9a097bc196f8eb1a2cc5e317f0 126558 why-examples_2.33-2_all.deb
 188a4bd933fdf3351de12dd90ddf68f800afb86f 230186 libwhy-coq_2.33-2_all.deb
Checksums-Sha256: 
 a6ff7fb9dbf2856b39e62ec8ee4f9eb931e46037039c111789be3c8572f8166b 4765596 why_2.33-2_i386.deb
 2034d6bf2da49a624f20270907b54dc09c22bab691f8d84f31461ad24619f768 126558 why-examples_2.33-2_all.deb
 84d15cbe339c0713135644b0c56c961b8a4f653188545481aa80396caa1f9c18 230186 libwhy-coq_2.33-2_all.deb
Files: 
 d143dc39a8c3a9bd41c19894f53f55cd 4765596 math optional why_2.33-2_i386.deb
 b4080136fd32497186d7d07d1b4d96b8 126558 doc optional why-examples_2.33-2_all.deb
 a1c49cc12c243ddc881502f48f3874d5 230186 libdevel optional libwhy-coq_2.33-2_all.deb