Format: 1.8
Date: Mon, 09 Jan 2017 10:38:23 +0100
Source: why
Binary: why libwhy-coq
Architecture: i386
Version: 2.36-5build1
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-24.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.36-5build1) zesty; urgency=medium
 .
   * Rebuild against new OCaml ABI.
Checksums-Sha1:
 d5afb6a87fb01d5ddab58a4048d4b068d236d7ca 1237162 why_2.36-5build1_i386.deb
Checksums-Sha256:
 0315068b57203ab1ba970bdc53d081c6303e6c7ab61407837b89cdbe421d9848 1237162 why_2.36-5build1_i386.deb
Files:
 2fff24dafd6be759badd6b7a3a1bb9d4 1237162 math optional why_2.36-5build1_i386.deb