Format: 1.8
Date: Mon, 05 Jun 2017 09:50:21 +0200
Source: why
Binary: why libwhy-coq
Architecture: arm64
Version: 2.38-1build1
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-035.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.38-1build1) artful; urgency=medium
 .
   * Rebuild against new ocaml ABIs.
Checksums-Sha1:
 409efd1da1c4c4b48b0bed1139d213ef1f720c05 82668 why-dbgsym_2.38-1build1_arm64.ddeb
 e97a8aaf9c261acc9b3537b53cfb1ce8c8cd421a 8218 why_2.38-1build1_arm64.buildinfo
 e48f376dac43007f8d855044977a9b29e4d4e2e8 3117340 why_2.38-1build1_arm64.deb
Checksums-Sha256:
 0367506621e77ef6240e6d18d5e2865f36ecceab0a9e91d52355ef6cc2595aef 82668 why-dbgsym_2.38-1build1_arm64.ddeb
 09cfc9924a06f67b46432ec683f6ce460135cbf63e803f25936a1d24d3f64d3b 8218 why_2.38-1build1_arm64.buildinfo
 b3616d1164e4252ae286f63cda63972e34387a0c0e7b6649b10f3db7c11b901f 3117340 why_2.38-1build1_arm64.deb
Files:
 4faa2799e6fbaccfb0ed4b8caa96c5cb 82668 debug extra why-dbgsym_2.38-1build1_arm64.ddeb
 e57eefb50e3ea4f187c9d745428977ff 8218 math optional why_2.38-1build1_arm64.buildinfo
 80e541faa6536c46d7da758ca5873318 3117340 math optional why_2.38-1build1_arm64.deb