Accepted ssreflect 1.7.0+dfsg-1 (source) into unstable
-----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-----
Reply to: