[ubuntu/groovy-proposed] why3 1.3.1-3build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.3.1-3build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sun, 23 Aug 2020 13:25:10 +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/why3/1.3.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 23 Aug 2020 13:25:10 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.3.1-3build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
 why3-coq   - Coq support for the why3 verification platform
 why3-doc-html - HTML Documentation of the why3 verification platform
 why3-doc-pdf - PDF Documentation of the why3 verification platform
 why3-examples - Examples for the why3 verification platform
Changes:
 why3 (1.3.1-3build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b93da939ce781aaef2eef8528621cd581cc91ea3 2830 why3_1.3.1-3build1.dsc
 6910f37019dbc59e4914bb7b3139c459af2ade04 18200 why3_1.3.1-3build1.debian.tar.xz
 e4638d2e2d24beca8ff1586425c137b54ff92b7d 14617 why3_1.3.1-3build1_source.buildinfo
Checksums-Sha256:
 e4c2821a5ef95a35348551b642e31cf8abf08ca023d93933c59ab280465caaf9 2830 why3_1.3.1-3build1.dsc
 254fe2851924f063800cd1b76e343b6945516c9a2a1642ae34379f8558088cc0 18200 why3_1.3.1-3build1.debian.tar.xz
 d2e44e917ec8923defcebfaef4b70fde85a214a35c05a64d9afec2b9c1bc614a 14617 why3_1.3.1-3build1_source.buildinfo
Files:
 f39d10fb79dcd63e8da2801cda13520f 2830 math optional why3_1.3.1-3build1.dsc
 36b175038a83aadc4d9057f2ed9639a4 18200 math optional why3_1.3.1-3build1.debian.tar.xz
 fb80884d63dc0bb5390abce69fa27e85 14617 math optional why3_1.3.1-3build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9CUhoACgkQ808JdE6f
XdkLVQ//evVFiMCKs6FWMXp7Z+f7QOhlhqIDxL1zrRKAHuDhEFU2gEiu+fHAIz9g
c6e0pCzMYAsHJfd81jpOAmkeYKJ6l6eQIiHuCm+JVQgy37SNBj9BIk8kpY/3s1Da
iZNPD7KxRiANQX8ddDB4stDAsykAFjO2pxSo/zQqhZxNEaWjXMMKVqqUwSVlp7dV
vPjtxK5kx8L2tfA4BeNnY8iASsjUAlVZVXYsy0VAZMpE7cdPVc894Or7XtQJbans
acnMMu/+K3wZwMAN3V70pXT95czVOB3a0THcgRRgvfzeTwl4dGbo0EMRzJxbAGDH
kR2h4ZhhUSB4pEfyUIPmua1x/Wo/S5Xub+Wq9iPLUGEBkXZHId8gorKQbjQYU2R5
xqDF2kKBuiMQrEQLJVTFoA0MDDbTYRdSOX/m1U76hPIfJs/dJ4SJlWjnm2cpJAm+
yAmrsCjvZEjapzBHyNVB4BG4p6tDPCL8SQYj4eW7Na5NbaRdLHOfuw7jGOPUievM
gjs5XcgnZGTMZxaxlO/DmIb/3HbbUbh/08MhiWByOrKLsSLXE3gwZp0GEKjEUSlY
hiHuMLr++vHodSEuYxQfuUQPoqzRDZYKgfjG+q9jHvi7b/1i0twPLOJ1u2OPM6ex
VsaM9bcw/WEgjU1qKHXkbHRfLqKk+KlTZFF4ZaC6bOC0JgHm+W0=
=RFd/
-----END PGP SIGNATURE-----