[ubuntu/bionic-proposed] why 2.39-2build1 (Accepted)

[Gianfranco Costamagna]

why (2.39-2build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:44:41 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.39-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:44:41 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-2build1
Distribution: bionic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.39-2build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 af95efcef63a5322d062fd9084dd5091e8a1f8cf 2414 why_2.39-2build1.dsc
 c25b084900e4e5e56c27a8f88746c9ea881853e1 11816 why_2.39-2build1.debian.tar.xz
 ac2ee05959548b24f99557a7e68874f3a3d94b8f 9987 why_2.39-2build1_source.buildinfo
Checksums-Sha256:
 d2b4abaa5fb810c923e120699dfbf270c05ccd74e23405f614dd18f88d087850 2414 why_2.39-2build1.dsc
 fb18d2defb2bdd1e7c7b0d2d8b603319b0a44bdd6da8af02f9ac4249d6650f40 11816 why_2.39-2build1.debian.tar.xz
 24055619ccd18dc17268be47999175c56ebf68ff1a768c18310a029a6e696e62 9987 why_2.39-2build1_source.buildinfo
Files:
 ed098fdc3216c142759d5edcd0db9a4a 2414 math optional why_2.39-2build1.dsc
 9bf78a62f38196bebcf60f35d61a56cf 11816 math optional why_2.39-2build1.debian.tar.xz
 a17e179598d51f59599adc626fbafe58 9987 math optional why_2.39-2build1_source.buildinfo

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

iQIcBAEBCAAGBQJZ9JfgAAoJEPNPCXROn13ZWzEP/jE/LsE1z2/tKgEMeN5I4FbH
3DrlogELjghORhzsWDaCTikla/DKUOY6RlVPYtJuKF7X023zeck+sCrbniS9cq8b
y0B9wsujBBQQRoZC2Ik6jvVNWUgk2ofHuzP0QD3VxBSrPdzoyQ5ooGbJRN5xeYcW
a3F57mnO3JmHUVV9a3ghgUXiOxmjiCSum/Jnzb3OetMilMGw2v2+mRD9JnSzyRs0
codSelRLjZg8ii+SnfvjfsRXzzY2RAKzhH6/bWCsaLjB75EPxKO7Hzs+USe1lTR0
pxkBEShBVrT35nB7hSauP20VJY9LNgY7rhHHvBzrC1Vzc13N91qS6URY8hi7F8zH
ywzH9uCj6060UANnBqRj3Ciyauhm5oltCoSkC19QvYEsAzXYnA/yZ0ZCYWYAmtGT
EgBckVQ3S6oO5p8087G09+JAvqw02JMSBbhAhwk6Ns0qPViABOG9wpEvmA8vRyVx
oglv0ZczQ7HADC35/XsQI0puvGWzq6yTahko6J3apD3nsMfR52h7wHbpYubD5mMF
vXNqEWmkG4KS/6vbwM7T/QAw0h/ysTg6majCfsmXHFKVDLwoJ0DmMBU3nj6k57FP
HxzbUIcSEGFavXWuDGuuAkAoAvRWqQparY+Ne2p6r86Men2KzxO+nPtz8nVt+J8E
VGoLaGzmYAfytor8Djcb
=QjcM
-----END PGP SIGNATURE-----