-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 16 Feb 2019 20:06:49 +0100 Source: ssreflect Architecture: source Version: 1.7.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 919461 Changes: ssreflect (1.7.0+dfsg-1) unstable; urgency=medium . * New upstream version. This fixes a FTBFS with coq 8.9.0 (closes: #919461) Repack upstream (remove docs/htmldoc/js/) * Update debian/watch to github * Update Vcs-* to salsa * Standards-Version 4.3.0 - https in format string of debian/copyright * d/rules: fix installation of htmldocs * Drop packages libssreflect-ocaml[-dev] as the plugin is now included in the coq package. * d/libssreflect-coq.docs: adjust pathnames of files * d/copyright: drop short paragraph at first occurrence of CeCILL-B * Build-depend on debhelper-compat (=12) - use dh_missing (instead of dh_install) with --fail-missing * No more compilation with ocaml: - dropped build-dependencies on ocaml stuff - dropped --with-ocaml flag to dh and usage of ocamlvars.mk * Updated short and long description. Thanks to Enrico Tassi. * Added an as-installed test, thanks again to Enrico Tassi. * Added myself as Uploader. Checksums-Sha1: 8e27be1770334396e3cf8662f7665d76d53ca61b 2114 ssreflect_1.7.0+dfsg-1.dsc 85cc33d95fe976dd29c308491d3a68c7bb8197b3 4039037 ssreflect_1.7.0+dfsg.orig.tar.gz 8a8a311eb049d1e0fbdd6f247b692082a57318d5 12252 ssreflect_1.7.0+dfsg-1.debian.tar.xz 3bb1a170b982101f19e0940298803fbbec74f471 6090 ssreflect_1.7.0+dfsg-1_source.buildinfo Checksums-Sha256: 9c93e1d8af1b64d97091548237527e791c148799ac1e1f9a0bde8cf8c01045b2 2114 ssreflect_1.7.0+dfsg-1.dsc 2ed4db186ae03f7a2f48c72a30efbe31643a83937b58865db0ea2f03547aaf50 4039037 ssreflect_1.7.0+dfsg.orig.tar.gz 2755526e153910a793a99cd07f477680af65a125b201ce87fa2715cc70ddc7af 12252 ssreflect_1.7.0+dfsg-1.debian.tar.xz bfd646784775f43d0c50ada9325be34345f8b37818afd32ed443d082678735c7 6090 ssreflect_1.7.0+dfsg-1_source.buildinfo Files: c852232d03555f36ecef075b04f20fbf 2114 math optional ssreflect_1.7.0+dfsg-1.dsc 5358dec881bbbdcafbd95315667d43d9 4039037 math optional ssreflect_1.7.0+dfsg.orig.tar.gz 81f8c7b33ac767629e6bf1d81456f879 12252 math optional ssreflect_1.7.0+dfsg-1.debian.tar.xz 33c025d5d321263e0a666e9bd85da913 6090 math optional ssreflect_1.7.0+dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxofbgACgkQdFxHZtTK zf9wlA//d9vYJJmkEyISmi216hxs68W2W+M970LyhZdzoDCXqpiDaEF2bD5uqzey nbCYWFJn9B68MnS2UzFmeFC91VtaD4AhaoJbpazg1JdmqieJpyxE5khTfxScriL2 nOXyFIS3AQg69bMqPr8gQvJvMyohwev3hUTqP0IzHYvWQWKImYvwzB2bfMSB7FLC CO/5pB5Ag6t6GDRZ+40HXxU9SkI6LHfTCgnttDobS6ZOFIBX/l+sVqCzbHoz8DM+ quVdYgbioX+UJ1jvre60fyUcrc/FFDW3uDmFodjcLwAkOYk1TpyRmtKywONgmj5f okcpMMNBqDIVBgdK1ETTFL4LWRt93S1+/9iCyDa0g1GdMfzWx5MOQySBhP3L5Hxj omQawD6WCSllaA0Msn/ki86N7DTwZbGqOd/cGGYqk8Rweuu9s5k+Nh9nLzLAnQia w5WZR8ehT+ZJzoSOUHGtJ6UCy2kWSCYWymq6fT2u4EqBzk9NEgHJn15DFd7TkdF6 tRoIQxEfETTzMQmjl/ze0/Ja+G8ib5/98Y5Xd8jCWoNhtOjM8e4jahAS2g1ATgsD 6xwQszYEo40d3ZoZhDH6Dv+P6C9TyjhyzhylctFpM4VHSzhmBjz4+ncVxRdhff5O 3HejbUTtU6jXwVp3KKaKOnogSLaHJhVlOYBBfYtPQTrDZDaVUbo= =np7C -----END PGP SIGNATURE-----
