-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 29 Aug 2019 21:23:49 +0200
Source: why3
Architecture: source
Version: 1.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.0-2) unstable; urgency=medium
.
* debian/rules: add build target
* Standards-Version 4.4.0 (no change)
* Patch lablgtk3-beta6: Port to version beta6 of lablgtk3. Patch picked
from upstream git. This fixes an issue with why3 not detecting
lablgtk3-sourceview and hence not building the graphical interface.
Checksums-Sha1:
bf2523a057607195fea8e9ee342aa01871ea44bd 2634 why3_1.2.0-2.dsc
040faf784030b404e3c4b08d9fe3d494e309a30b 17688 why3_1.2.0-2.debian.tar.xz
491c86dc62812ad7b20fd92ab51b2554b42a55ec 16333 why3_1.2.0-2_source.buildinfo
Checksums-Sha256:
d61e5d9c57a548340f3fa8a3d995f793bfdcee78435b1fd582d2e4400263e25c 2634 why3_1.2.0-2.dsc
1c4100644e8ceaf13c77c1f78b710a2fce9e911686e1a2ef44ae03ca41bd6543 17688 why3_1.2.0-2.debian.tar.xz
37c71d0a9ddf8cb4880beaba59fcae96c0ab09b69c4b66688740b5fad4019bc3 16333 why3_1.2.0-2_source.buildinfo
Files:
11642526a8dd7dd11cf472d1d1bb066e 2634 math optional why3_1.2.0-2.dsc
85710a2808e82253f2bf51e9b99ae7e9 17688 math optional why3_1.2.0-2.debian.tar.xz
b27537e505f385b1ab9fc3622d8328dc 16333 math optional why3_1.2.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl1oO5UACgkQdFxHZtTK
zf90kQ/+MDibtLxI9Q8aV/HDB/xYgIcd5KaBv1+1pvKaNZqKA3L27X4FxbtAs+/g
FiP1wmVdAQybZ573pDUAipD/BPm2vDs0Hi34HfV289ZY/3SHGBCvaP1UIUl3s3Ja
eSTwZv7fAJfsORm4DtU6cWldwNi4/sDqyE/nD5KZA+3zkvKa15sdT5f7ctZ7r+4d
ngUnGOGJVOEChIcLjfKffTiguRC6yJZuqDdPH6OPVtSqExPkmeFUKZa6uth8EVHO
flpWiMHi8grLTUyjWNQwecXCFkbEpqSVUAr/EgEBx4SE17jWCwYYxb3CqT6GtWcC
L5CaR1+cGtBWtXzNDKBxFtcaMpzVf4pQC38BfuF+QlmQPY913AF7W8/oGXuoRKrB
04YCIZunBCS/xpHrYPTDmeqCztSLrphGaP6nuOwtjgfw/2aCBw3FeESQlkD+Cmtr
qelepIbuc36iB/ncjBLW8tDRR5wY6VMcrCgvd4atO4+4hMCNh0CoKTX0l/nH/GAg
1uzoE5a8fKP6fHQu+xezTR8L3VtXBc0/hgHeJh26mJdQqPQcUpyIr9A2DgEAo7lW
altTFdG9scxca+jxVuFzYjMkTktm6629JGxx/2m5UZgrkYi/oRiuATNKy2BOxgv3
qi6cf5myQ198W6TtvwHon1ztKi66woDJRmu3YbhXMJvOg+sx/oE=
=RLhF
-----END PGP SIGNATURE-----
