Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1)
Your message dated Mon, 29 Jan 2024 09:35:04 +0000
with message-id <E1rUO2i-004wwJ-T1@fasolo.debian.org>
and subject line Bug#1060988: fixed in mathcomp-analysis 1.0.0-1
has caused the Debian Bug report #1060988,
regarding mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1
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.)
--
1060988: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060988
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: mathcomp-analysis
Version: 0.6.4-3
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20240115 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> COQDEP VFILES
> COQC classical/boolp.v
> COQC classical/mathcomp_extra.v
> COQC theories/forms.v
> COQC theories/altreals/xfinmap.v
> File "./classical/mathcomp_extra.v", line 7, characters 9-28:
> Error: The reference choice.Choice.mixin was not found in the current
> environment.
>
> make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1
The full build log is available from:
http://qa-logs.debian.net/2024/01/15/mathcomp-analysis_0.6.4-3_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20240115;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20240115&fusertaguser=lucas@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 1.0.0-1
Done: Gianfranco Costamagna <locutusofborg@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-analysis, 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 1060988@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofborg@debian.org> (supplier of updated mathcomp-analysis 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: Mon, 29 Jan 2024 09:28:14 +0100
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Closes: 1060988
Launchpad-Bugs-Fixed: 2051458
Changes:
mathcomp-analysis (1.0.0-1) unstable; urgency=medium
.
[ Julien Puydt ]
* New upstream release.
.
[ Gianfranco Costamagna ]
* Team upload
* New upstream version 1.0.0 (Closes: #1060988, LP: #2051458)
Checksums-Sha1:
6d5e93614956b820002a1a5f281ec341d2be00c1 2403 mathcomp-analysis_1.0.0-1.dsc
b8692ba5db2e4a31f1605f6ae169e9954926344a 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
5b455c8832a6400e474b2b2f9d712b190382d748 9220 mathcomp-analysis_1.0.0-1.debian.tar.xz
22069712c4a2d295684977fcc8feba024f4c0dfa 7813 mathcomp-analysis_1.0.0-1_source.buildinfo
Checksums-Sha256:
5a2f74ab0af48f106ec085aabd50c08becc28e981a029fe3235652f6997dd09f 2403 mathcomp-analysis_1.0.0-1.dsc
73a209ba650aa849d7dc45145fd4930d694fc625dbcf1c0facd04fd8809d71b3 1174232 mathcomp-analysis_1.0.0.orig.tar.gz
4317b673703b40817901298a3437f8cea3feacf22e106a286ac67a54bfa1b754 9220 mathcomp-analysis_1.0.0-1.debian.tar.xz
161b4ca4d59c27d38cc3f049c86de77b7c079c7d1dba0b4c83d7effa082faab4 7813 mathcomp-analysis_1.0.0-1_source.buildinfo
Files:
82471f22a9414fb389f4f141b0c1ebac 2403 ocaml optional mathcomp-analysis_1.0.0-1.dsc
e5bd3ec2addfcec3aac3245836a7c871 1174232 ocaml optional mathcomp-analysis_1.0.0.orig.tar.gz
e310da51b68a1e61d6b13208b4499ee8 9220 ocaml optional mathcomp-analysis_1.0.0-1.debian.tar.xz
fc1f140950f86fa04dbfb75c579cbea3 7813 ocaml optional mathcomp-analysis_1.0.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmW3YuMACgkQ808JdE6f
XdnsBBAAtyFQMinH1aymwprrQWjCLD8WUGg2HdarsWI5UUxKuOX7nNe0SyyZxPB2
EonMlmzyx/az8ghPJ+pyCQJhXoNjUNPkzyJAuq4Gfur4oXyeeyysVKu8OQezFZvY
UwK0HUQ21p+d08feJ3DdYPEADS7CiCb77do18vrbcQnzU9sDIoeU/SYX18nLCUhO
/+HbSQkh90oK82alkh24uNCZGmrOhgwsDLweW0KM7UgyY66WOjMhldoSx8avNlFj
diZ+etsFrXMHlGeSStmJLWg8BLrtWWQ+lDujscc5nh3aU120H5LG+kUYx3rV6NgM
L41ANBQivsfjjF4hEdm8C5SNDCMaV2DHvQMcDxm7WQBXenVn1ed2FO2ImCyJTDGu
IK9O48pZLeb0ek1snqQd511NvVma4LRQ/RnWnaZnVenHrkt+flRss+1hggU3QdUD
pTgKKSO+bWo6VIrfOFQ12uD5mm/L8noxqT/3rJByiU+Qqsa3aBUdR2fF6iyoyZEa
XWXh9ob7BSetThfdykk1HRYcruyrXI0GGLYC+7m0PapXkyTWdIdN9bnP7jDO1JxH
aEdaTDbL8iXr7Kz2ZlE9Fx/E8//A9GJc1J8OMWEFbKsdXoIr6J+aoHuGUTNMKnYa
7Vnv8R8jlYCtbMqM+q4pCN4GRexvvoDVC4JAtobplyaI57MKe3A=
=pxaZ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: