Format: 1.8
Date: Wed, 12 Oct 2016 21:33:30 +0200
Source: why
Binary: why libwhy-coq
Architecture: powerpc
Version: 2.36-2
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@fisher03.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.36-2) unstable; urgency=medium
 .
   * dh invocation: use --no-parallel to fix FTBFS issues
   * jessie manpage: fix synopsis
Checksums-Sha1:
 eec80d85ddf6bd1c7394e8ef091f58beeefd1a5c 2987340 why_2.36-2_powerpc.deb
Checksums-Sha256:
 585f3bd0a0ec86f10ef0f16eddc96a8a455c29775ac2f744616e36c9ba4c63fe 2987340 why_2.36-2_powerpc.deb
Files:
 2e7703fd3f115e06baf2a8cf4d52ec26 2987340 math optional why_2.36-2_powerpc.deb