[ubuntu/disco-proposed] why 2.40-3build1 (Accepted)

[Steve Langasek]

why (2.40-3build1) disco; urgency=medium

  * No-change rebuild against new frama-c-base

Date: Wed, 14 Nov 2018 20:48:16 -0800
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.40-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 14 Nov 2018 20:48:16 -0800
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.40-3build1
Distribution: disco
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.40-3build1) disco; urgency=medium
 .
   * No-change rebuild against new frama-c-base
Checksums-Sha1:
 d71ba55bb99d328e2c02a623549afff0456e66f2 2514 why_2.40-3build1.dsc
 3f2fa7cc766d64fe06f8ecbad4d26e5cd99ae81b 11988 why_2.40-3build1.debian.tar.xz
 2f930721a764563e29e80c903862a3cfa1262384 6291 why_2.40-3build1_source.buildinfo
Checksums-Sha256:
 140909fef7a4f25a7871ad32d124fe43070e76f4b0a7ed052f11a17b52cd56fb 2514 why_2.40-3build1.dsc
 31cf3eac185c8b65ddd39f04120c5836c4bed7bb982edae61fdd3ee477243d59 11988 why_2.40-3build1.debian.tar.xz
 7efb72234f02fb33ccdcd46ffbe02866ae7596796aa28c472dd8e92889ee3ef6 6291 why_2.40-3build1_source.buildinfo
Files:
 ecb64b6c9d508bd5184d8fa33ca6d26f 2514 math optional why_2.40-3build1.dsc
 29941d34c0ab69498a1ad09b35bfab77 11988 math optional why_2.40-3build1.debian.tar.xz
 c84ce133ef2ebcb705eef89d1fdba246 6291 math optional why_2.40-3build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAlvs+pwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz23Kg//Zalfkqe4/H32UzQ037ae
xc/lfUhhhKa7PqdfWoDSuEARhrVPseh62Rp+MDE73vtiEbrpgyRZY70ooa2f3u3W
uwXl61wC+ffPzrz0o1fu/AugCAs7VRfA7oTwwSnuheJkJC+aMnvZsgCu2DgKfmd/
GluPmAFo+579cnE8NgMXZQhhVmd8LGaC/dvvlTZkpSZCEqAbUxDBDkg1SUq2AbLn
iBIeLMSoair4odUqBWm4UJpx8W0a8oeDfySNBuNocBynEyBRzIuB6+oj192eBnbG
2syUhyzctHL4LxWnUVddYTbp8oiFmZjiInIqKbFs0l1dMA5FHIJ3UjRh3etzFHfE
n3TTs+jX8/5LiDaTm/oxk6i4JB8zrtZqpFfqj8J29Ss1xHK8ZAUI0y42qaLEqlwk
6ExEMsiRVGbabdRYXbne4O+GdkTMcxIo38JaoyYRQrDiJmeaj9g318fpns0NCW7Y
NbWOfmR9DvMRHVZJvzcvOV2Vkdvx7mD5dTYS49Wons3U9ALpM/xn7HQSYGKbTE//
0MSzrs/qW4ziwZFja4w04jSegQfaDDRCS09UDPeH5FmOKy0wJF9cklf7cZf4X875
NLoCDe2S15LKya0m8KcJMUO/Uru7NTft5Pse2WkdnCpXw6uNbcRQNU54eZpwwtiD
U/iiHIUDy9V0n/vnlaCo+0I=
=mYDm
-----END PGP SIGNATURE-----