Format: 1.8
Date: Fri, 22 Feb 2019 18:04:55 -0500
Source: why
Binary: why
Architecture: i386
Version: 2.40-4
Distribution: disco-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-029.buildd>
Changed-By: Benjamin Barenblat <bbaren@debian.org>
Description:
 why        - Software verification tool for C and Java
Changes:
 why (2.40-4) unstable; urgency=medium
 .
   * Team upload.
   * Rebuild against coq/8.9.0-1.
Checksums-Sha1:
 4ea13784b9faa9a57224b1cccf874f0c1cdcb1dc 99628 why-dbgsym_2.40-4_i386.ddeb
 91e4a3b567eb4a65c25fc5169536fed5417a6947 9680 why_2.40-4_i386.buildinfo
 80ea1cc600316961a6acbc3420afe72791bbb6cc 3183508 why_2.40-4_i386.deb
Checksums-Sha256:
 c49f508aff87f765adf6f87d8374c1471e9553ad176994ab3206a2312a05001b 99628 why-dbgsym_2.40-4_i386.ddeb
 3c14df60e5d8dac09e140d01ec26b572eac0e81818ae1dab37a84cb21cabad38 9680 why_2.40-4_i386.buildinfo
 0d843f442474a04329fe0c6fadbfeb9c6152ae46a5c7cb9231ac4a3ca981ee8c 3183508 why_2.40-4_i386.deb
Files:
 09f90b70f249423051cbffae825153d7 99628 debug optional why-dbgsym_2.40-4_i386.ddeb
 fa73771e5c0522f67a481ef330537685 9680 math optional why_2.40-4_i386.buildinfo
 4df31f3db95ea00fdd493f8c93e21ea8 3183508 math optional why_2.40-4_i386.deb