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

[Matthias Klose]

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

  * No-change rebuild for ocaml abi changes.

Date: Tue, 15 Jan 2019 15:11:55 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.40-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Jan 2019 15:11:55 +0000
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.40-3build2
Distribution: disco
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.40-3build2) disco; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 01788125d27a86a28c77f2cc9545f9d82a23f67c 2502 why_2.40-3build2.dsc
 2a8651450124111be7084951b351583022a12f24 12052 why_2.40-3build2.debian.tar.xz
Checksums-Sha256:
 c06516fa2d1c3a4ece87af3fad2ee0a10a0984964749f42096ee21d0d57c47b4 2502 why_2.40-3build2.dsc
 944ddc206898774df5a4fff9e02771aac3389645117417daafe2dfd0685210c5 12052 why_2.40-3build2.debian.tar.xz
Files:
 7eda062bd3d9918032eb7d6e268df197 2502 math optional why_2.40-3build2.dsc
 3ae1e997d72e85723f36f8117fcd212f 12052 math optional why_2.40-3build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw9+LAQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9YDOEADFykYR1O/KNbz7ASSKbd0921X33wn4gMiG
xYUNUrxnWcpy/Sy4pBXiMVK57YcaVbwhkvLMXlC7tj4HkwWElOqh/11GGYGWlrJ4
ZbmDNSwVTFSk67itxAhiyDWCUe1G2SNmsYhrPL+5pGg73XqffwX/OhBjqJRx/hPp
d8XoTcyGFvhblF6EM3/79dCBOzej3rvNvvw4oNZ8vqV3lPVwO1Fsy+G1YQIflrrL
43mV5wvx0xKsoGW5bmfeNLnQVcPEWLfFs+27vuLYOXPb9zIluoG0dKZ5CRWqOBax
Tf577zsbXhxzo8SwvyqzHBMh+eTM1+CAMvsl/EkNCFWH1P5R8kATL78qj/WpAlwN
vCvSB0OjKye0f6h6l6/qHd+X1QXy9Xl1miHLxY3xxyR4ppmXXYLnEKfOJoqViC+P
m4SZFOMFlIT2Q/8f3RppjWRWTa1J9MLRjUuS8bGPBHdAqnVzHYTZ/1GqX9U/qbpH
zvdqFMhmY7u2zB85LKy9KNvNFUMe7jFaJ9R+XUmf7WYbA9zBucuRUEHcV8puG9mf
SP5cqmoMFk3OjJ258PMSm/VYbkXceIwxfLAAIPJ/OKNXi36zdMk1uEYDeJgNJJhF
redyjkNlISnWyPG99wCrsDxTpUWnFraqksu+bYG6sewnp6J3pIXRrWhBtLc13nUj
+T1K1NhEYA==
=LbQ5
-----END PGP SIGNATURE-----