[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#919461: marked as done (ssreflect FTBFS in unstable)

Your message dated Sat, 16 Feb 2019 21:36:29 +0000
with message-id <E1gv7dN-000Ewp-1e@fasolo.debian.org>
and subject line Bug#919461: fixed in ssreflect 1.7.0+dfsg-1
has caused the Debian Bug report #919461,
regarding ssreflect FTBFS in unstable
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
919461: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919461
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:ssreflect
Version: 1.6.1-3
Severity: serious
Tags: sid buster

[...]
   debian/rules override_dh_auto_install
make[1]: Entering directory '/home/packages/tmp/ssreflect-1.6.1'
/usr/bin/make -C mathcomp
make[2]: Entering directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp'
Generating Makefile.coq for Coq v8.8 with COQBIN=/usr/bin/
# Override COQDEP to find only the "right" copy .ml files
COQDEP VFILES
*** Warning: in file ssreflect/ssreflect.v, library ssrmatching is required and
has not been found in the loadpath!
*** Warning: in file ssreflect/ssreflect.v, declared ML module ssreflect_plugin
has not been found!
*** Warning: in file ssreflect/ssreflect.v, library ssrmatching is required and
has not been found in the loadpath!
*** Warning: in file ssreflect/ssreflect.v, declared ML module ssreflect_plugin
has not been found!
COQC ssreflect/ssreflect.v
File "./ssreflect/ssreflect.v", line 4, characters 15-26:
Error: Unable to locate library ssrmatching.

make[4]: *** [Makefile.coq:657: ssreflect/ssreflect.vo] Error 1
make[3]: *** [Makefile.coq:318: all] Error 2
make[2]: *** [Makefile:26: all] Error 2
make[2]: Leaving directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp'
make[1]: *** [debian/rules:41: override_dh_auto_install] Error 2
make[1]: Leaving directory '/home/packages/tmp/ssreflect-1.6.1'
make: *** [debian/rules:22: binary] Error 2

--- End Message ---
--- Begin Message --- 
Source: ssreflect
Source-Version: 1.7.0+dfsg-1

We believe that the bug you reported is fixed in the latest version of
ssreflect, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 919461@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated ssreflect package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----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-----

--- End Message ---
Reply to: