Accepted why3 1.3.3-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 26 Oct 2021 15:17:59 +0200
Source: why3
Architecture: source
Version: 1.3.3-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Changes:
why3 (1.3.3-3) unstable; urgency=medium
.
* Add new tex-gyre dependency, useful to fix a build failure on
pdflatex doc generation, Thanks <bunk> for the hint and patch!
Checksums-Sha1:
1426a383238f5fc500453830264c65182bf2ce83 2849 why3_1.3.3-3.dsc
98f3d971a80cdf4733898c0a7e8647a0ac7c4b1b 19332 why3_1.3.3-3.debian.tar.xz
f3667d93cb0186f2898826a761e8365692c4ca53 7604 why3_1.3.3-3_source.buildinfo
Checksums-Sha256:
61ab747e7169f8f5fe7a75681b178146d5e9b7e5bf89ffb40470b1c976cffa5b 2849 why3_1.3.3-3.dsc
72ef79358ed6502bb8f3662db60ed95ba4aea457471d5d42e0325561f223bb9b 19332 why3_1.3.3-3.debian.tar.xz
eaf8c8ac93812c7719217da49f395be3a10c973c4c70dd4e81e6018d21d96809 7604 why3_1.3.3-3_source.buildinfo
Files:
d085ccc6f5018c5649e9d260b352f383 2849 math optional why3_1.3.3-3.dsc
84b2bee9fa3741ef1a3ffca1457e5884 19332 math optional why3_1.3.3-3.debian.tar.xz
cd2b16324beffb61fa449f2155ab94e9 7604 math optional why3_1.3.3-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmF4ACcACgkQ808JdE6f
XdmPQg/9F3JlPGkLJQjlfHGWs8Dbdrrnle1rDOhrjIuOK+aVJCSidjC3mVKRQwbv
GApmOuS0jsPUngArWMVOOfD9De32ObJJMjhYmNCs3eygy2GthUTwHV5WKutxvKmT
Iv+GNHaAGQ3vp2ZS1I8IJUHLQmVA1Wu35UMYam/eBOprtktUFZUO71i0Wv8/7tyF
wCoODj6OPTI2U18K03wgVpKzSFMqVJHfcKQL4ojkyCroh8nI/xx+LWeN5ZA3YU9W
Q5nTzH7+Kb9PBbggTtJjD1TnIUFlTkm0i/oyZmQ5POepMAFsxyIG6asv4WQRWpHW
NyTGd1OTYdq3THYLw5v2BIfKktT//6KDqR36Xkqmy2sg90el/w4rtYR7wHTZbiSg
I0IEAZNzAtRVhkR03cKg9v8BFWyIBKf/gtybtDjAgOrHsrT0CjTJjY5uxpYzD4Om
PSrdcuiRn7mJ3i/Xw/UtInfbIZahsV3d9bqqWcQgRKMozu+yOZUy1D5X7v0kB6Hw
l51A2h2l0ux4A3UKJ98qr2k2oNZlbrGl4R0QZLRJJZqy9k+JM3uAr4qBAMYAhLlK
+rvVxXQiQRmO6L5dbC48CNLfIXpO6OjOhAimDrUYQbv8F0589cksnThkKm7GrBnE
5veyCSyFTrcQ3qxPzMwJyge3r9oXUFIjftNCv3AqAN77AXiBZ0s=
=8grY
-----END PGP SIGNATURE-----