-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 05 Dec 2019 23:06:05 +0100 Source: ssreflect Architecture: source Version: 1.10.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: ssreflect (1.10.0+dfsg-1) unstable; urgency=medium . * New upstream release * gbp.conf: update import filter * debian/rules: explicit targets to make: all, doc * debian/libssreflect-coq.docs: doc now built in mathcomp/_build_doc/htmldoc/ * Add lintian-overrides for doc files whose filenames contain wildcards * Standards-Version 4.4.1 (no change) * Add build-dependency on lua Checksums-Sha1: cb791fc7e1fe28a1630eda584f4b9764d0f76deb 2129 ssreflect_1.10.0+dfsg-1.dsc 9ba42e957239feb836ca901f7b1ac575400bb09e 1218046 ssreflect_1.10.0+dfsg.orig.tar.gz e1052d5ff9511e954ef2f645a3a72450edc83a88 12660 ssreflect_1.10.0+dfsg-1.debian.tar.xz a83b13fe3fe3c267ef6245ba9d6c9583e65c37af 6251 ssreflect_1.10.0+dfsg-1_source.buildinfo Checksums-Sha256: fb7b5c457607ce2fbb4376c3ca7912699c2e6c17522a86531c09a5ff87e97810 2129 ssreflect_1.10.0+dfsg-1.dsc 3f8a88417f3456da05e2755ea0510c1bd3fd13b13c41e62fbaa3de06be040166 1218046 ssreflect_1.10.0+dfsg.orig.tar.gz ffd329db1530218025a13307061859b8b43972157ac3946557aa321eef5e28fa 12660 ssreflect_1.10.0+dfsg-1.debian.tar.xz ef555cb653202cc00604ed6aa1a7a9fb93399dcc7772e22178ee768aaf72131c 6251 ssreflect_1.10.0+dfsg-1_source.buildinfo Files: 2c7d13431eacf891f8eebe81eb1d070e 2129 math optional ssreflect_1.10.0+dfsg-1.dsc d2f2727977a7391c83471ac6fc74a9f4 1218046 math optional ssreflect_1.10.0+dfsg.orig.tar.gz a2c346b11ecbd4f9c5a1c3445ae1b7dd 12660 math optional ssreflect_1.10.0+dfsg-1.debian.tar.xz 2335fa5c410cfd1afc6a64923dcfe2d7 6251 math optional ssreflect_1.10.0+dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl3qC1IACgkQdFxHZtTK zf9jLg/+Ljc5MKkNn740oSTZRKdq4c2mN5z/qvt69wr13ine2XVBbio+a1ZI7/Y+ Hzvz24uq0B9sbpAZRPCq5d+Apf5nRIDhAtscXSPYhwBZjP71p5qCOMOLFxIAF2e3 2m20VdeUBmv6Hhc0mofNgsqY+BYRVsBcZ5ASKFCFoKeKvGDtx4sj9/YwSWo5D7hN 8n3DY17sQl7sT7LjfBunqYeFDjSQRFW/tWathf239+4pTBGFY5VInG6iBnJ4elap W65UBH9hjzelCsxccFenhIBIXL1D1RUVxiQBl83vxzK+IhpHMpYNb3DuToVeEoVM zP5e9NUgTUCLgjqDVWAFr4qPY6RM2gVlzxaZK7YPC8lc6YPKLKG0RyQJznpjB2Sr M7Pfs9ujjrhljpGSxxZW3GkNg09s41NjPUswdIMgaK67Y8rhethhTb2SdMTW1iCz lsCAdH1EDIXz4BSZYmNlHsmtYJa4sGt/vYgdfzuqtNL9gAbnJ029IMF+fido8Ea3 SwHNFYyQLmBQM30wdEeJVixV8mK/zGaQ8bpHNqICF8jxiSOS9LsjW/IqZzhz8dtS kC9d/C0y4193r2jJndxk793NV5G51fclt9trBCsMyqed+lPuRfsLATw3aMrGIWwN OSIux0ObSoiVx7LRH+h15qwH4PwEQtbpZPkRluQA0SuCNwiYZeM= =oafy -----END PGP SIGNATURE-----
