Bug#1038672: marked as done (mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.)
Your message dated Tue, 20 Jun 2023 10:06:59 +0000
with message-id <E1qBYGJ-003ANq-Sn@fasolo.debian.org>
and subject line Bug#1038672: fixed in mathcomp-abel 1.2.1-2
has caused the Debian Bug report #1038672,
regarding mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.
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.)
--
1038672: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038672
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: mathcomp-abel
Version: 1.2.1-1
Severity: serious
Tags: ftbfs trixie sid
https://buildd.debian.org/status/logs.php?pkg=mathcomp-abel&ver=1.2.1-1%2Bb6
...
dh_auto_build -a
make -j4 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -f _CoqProject -o Makefile.coq
make --no-print-directory -f Makefile.coq
COQDEP VFILES
COQC theories/xmathcomp/various.v
COQC theories/xmathcomp/char0.v
File "./theories/xmathcomp/char0.v", line 104, characters 14-21:
Warning: Notation rmorphX is deprecated since mathcomp 1.17.0.
Use rmorphXn instead. [deprecated-syntactic-definition,deprecated]
File "./theories/xmathcomp/char0.v", line 104, characters 14-21:
Warning: Notation rmorphX is deprecated since mathcomp 1.17.0.
Use rmorphXn instead. [deprecated-syntactic-definition,deprecated]
File "./theories/xmathcomp/various.v", line 1168, characters 34-48:
Error: The reference fact_smonotone was not found in the current environment.
make[3]: *** [Makefile.coq:844: theories/xmathcomp/various.vo] Error 1
--- End Message ---
--- Begin Message ---
Source: mathcomp-abel
Source-Version: 1.2.1-2
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-abel, 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 1038672@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated mathcomp-abel 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: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 11:45:39 +0200
Source: mathcomp-abel
Architecture: source
Version: 1.2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038672
Changes:
mathcomp-abel (1.2.1-2) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
* Add patch to fix compilation with mathcomp >= 1.17.
* Add patch to fix compilation with coq >= 8.17.
* Add versioned dep on coq and ssreflect (Closes: #1038672).
Checksums-Sha1:
c392dfe9ec4752032d0752778850ab1e36f17895 2251 mathcomp-abel_1.2.1-2.dsc
83e39fa9fb813c8c463bfe58b4aeb8e9a91b196a 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
570d813f442c71e2aedf48aa18ef1676ed05c36c 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Checksums-Sha256:
6ac963e519a9c366977db0244e882ed505f2b0008978a4ed00cd3f78c30e711e 2251 mathcomp-abel_1.2.1-2.dsc
faf3be97536c6b26b352dc869062ed21002f186fea4e87df3835722457b9d4ff 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
27c07f3bb82b346ac7976ff70d9df1ac85925036ccc39f8ece80ea6bdf6e64bd 7510 mathcomp-abel_1.2.1-2_source.buildinfo
Files:
4168b87cfeef1f474562ee8cf82dc90a 2251 ocaml optional mathcomp-abel_1.2.1-2.dsc
f58ac79c41afc1109e9378d24b3eea0e 9732 ocaml optional mathcomp-abel_1.2.1-2.debian.tar.xz
a0bbc4b853fee3894577c8b512c781a1 7510 ocaml optional mathcomp-abel_1.2.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdW0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB6gP/3UIopu0GH9Vpp+OTaIfn0nPaqb++P/y
Cgz83IzcVXqk8WSYA+LmCQkWNw0y1N5/99RadZQoNCEYSdLQBoCQb2lBn0dp9iB2
kuQZzIsquFgldQlq14Z4leSj0ZSW/9hmRVodrtFlInMswtvadHA5asZEBIJzz2f5
E9KU9ZeF6fCEWrMMHS2Jr0O/4UQcxq7DKtfXnk/va+c0nXJUVt6HXzwZY/Fds4jk
+AqLlzEIg62/6YepCBnQsXuke51G4JAuOoH6/F9S6+nvwScu1gC13MqCDL0B44p5
lMuiaoVYQqK6HCoMJ0eAoAKUfGo0ux/DiUlSsrZgUFjif+5pfK3gSuB/D98D9boL
JGmA9luyg6KsXyM+f5B/G4DM2axVGBV5XTiULk8sHQZOhRby9jtF2NwdJKplfaU7
G/1QAp8BcCwch1OF9tq6TBmKYJMT6fxdpRxc+P71BWGtngyXLJrcnR78zuXuaHty
Vf+0YCSPY23dJkbeoZoweA55XPB5ySSq5bEjdPKtqZxbR2nP2w6rHWDEbKy6kdAP
YsLW7UZ75JL+z/ZESaqxbs+VUEwGUIM8ieQb6Zi6Qw3cmEr2OhtT2wc8MHuSZ30s
Ex+KG4O0E7BXIIUCKmbKW+tOof1eirLme93e2mQJIHQxNuRfVig2Gu8438BNNaus
T+7B4JqG1Jpg
=OC/i
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: