Bug#1038675: marked as done (coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.)
Your message dated Tue, 20 Jun 2023 10:04:49 +0000
with message-id <E1qBYED-0039hR-Kz@fasolo.debian.org>
and subject line Bug#1038675: fixed in coqeal 1.1.3-1
has caused the Debian Bug report #1038675,
regarding coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.
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.)
--
1038675: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038675
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coqeal
Version: 1.1.1-3
Severity: serious
Tags: ftbfs trixie sid
https://buildd.debian.org/status/logs.php?pkg=coqeal&ver=1.1.1-3%2Bb2
...
COQC refinements/bareiss_eff.v
File "./refinements/seqmx_complements.v", line 46, characters 0-58:
Warning: The default value for Typeclasses Opaque and Typeclasses Transparent
locality is currently "local" in a section and "global" otherwise, but is
scheduled to change in a future release. For the time being, adding typeclass
transparency hints outside of sections without specifying an explicit
locality attribute is therefore deprecated. It is recommended to use "export"
whenever possible. Use the attributes #[local], #[global] and #[export]
depending on your choice. For example: "#[export] Typeclasses Transparent
foo.". This is supported since Coq 8.15.
[deprecated-typeclasses-transparency-without-locality,deprecated]
COQC refinements/multipoly.v
File "./refinements/multipoly.v", line 13, characters 0-48:
Error: Cannot find a physical path bound to logical path
mpoly with prefix SsrMultinomials.
make[3]: *** [Makefile.coq:844: refinements/multipoly.vo] Error 1
--- End Message ---
--- Begin Message ---
Source: coqeal
Source-Version: 1.1.3-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coqeal, 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 1038675@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 coqeal 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:49:18 +0200
Source: coqeal
Architecture: source
Version: 1.1.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038675
Changes:
coqeal (1.1.3-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Bump depend on mathcomp-multinomials (Closes: #1038675).
Checksums-Sha1:
7afdd35dfc8e02cba0648e270e0e0f93298d7d2c 2179 coqeal_1.1.3-1.dsc
1b9af210527afbc4a72fdb79157d741c990f58da 217753 coqeal_1.1.3.orig.tar.gz
1e50659e618cd82dd44722311ea278a6b7ee71ef 2224 coqeal_1.1.3-1.debian.tar.xz
d42cfab47f49dc7789ecb48877a3a331ea1f054e 7830 coqeal_1.1.3-1_source.buildinfo
Checksums-Sha256:
617fcc5cfb44904836eeefdf96fb06e9a44eed738d7830f45b306afcd3bd4d47 2179 coqeal_1.1.3-1.dsc
a81c21d31fdc888621570ba39a7d1e9bbf4695c112e4e0f8be638296d96dcba1 217753 coqeal_1.1.3.orig.tar.gz
792529f1529ee0cf65a9d27eddd2848e62c8548417008c6615c81f86471ae7d9 2224 coqeal_1.1.3-1.debian.tar.xz
daa516b87896a24f0f6adb5ce38c0ad9a54b061d0f916a337233e16e0b9006d8 7830 coqeal_1.1.3-1_source.buildinfo
Files:
780100a2d89f54a0cc73d35f7805a965 2179 ocaml optional coqeal_1.1.3-1.dsc
3c901c58e24e003b268c9984e02403af 217753 ocaml optional coqeal_1.1.3.orig.tar.gz
c0dec2deb1bd4bba7a538da39bf84e1d 2224 ocaml optional coqeal_1.1.3-1.debian.tar.xz
de57d8085fbce87cf45583bab7009fd2 7830 ocaml optional coqeal_1.1.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdjcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR280P/AnhPAgoSlurjaw4jeKTYxzg1LavGexo
6SjzjAITY4yxduXZfTo23fRq1yYdt6rC6MApf9jAtmpL43U1OgRpH1WAOlFR68Vu
EV9Pqc12SNMBTw7QG1Bnqh3lBHSwtRd1m6H4i8T9F/lpbYht4GIv84bVlHuPuPTQ
BfTDjGVfXj7RV+WZL1Gsnuq4ZUadYYPyirSEzJmFbyrWEoSJxQ9/2EovyVLc7O84
pipUu513mGDH/nFWXDCXSnWAYfIwGX5uwN1XwMjcX0wnwQ63kBpdosVj4DgwFqRY
aMZs2t7+ULLC/6ie3zeBeRRbYishrVLyAjgD72EvbOrsfWWphUpYsWMeGHVCmcgI
XPm2r0KSUoVNZ1M768UzoSkisxhJAgssiRovhYwNR/BaQ7ME/G5uGvuf0uo/TpKa
0AgAjN4K90q8rZzVz++PE9TarRsSBEwpaHrq69KIvB+A743tAXIgyMY+kNkXRjEr
/s2c8Fs2ZRxZO1QOYnNQQ9d+Vf/8Nx6mpZ+sts3R/eO2A36l33vUZiOy3TdOXb75
aTnqQjms+eIJu8JnMTfnCFt6U24pTtYFHfkQbrE7X0ipChXMe1QaV0fHhiRFPsmq
GB1ZgTOup4PnkL0sJ9WyS84uwXeKz8tQWE/6wkv5rBMcztK379TQNup8BmS35Hc9
WSU19cjuHbvA
=GfmV
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: