Accepted ssreflect 1.7.0+dfsg-1 (source) into unstable

Ralf Treinen Sat, 16 Feb 2019 13:37:50 -0800
-----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-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@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
Accepted ssreflect 1.7.0+dfsg-1 (source) into unstable

Reply via email to
