Bug#1038450: marked as done (coq-unimath FTBFS on 32bit)
Your message dated Tue, 20 Jun 2023 12:49:18 +0000
with message-id <E1qBanO-0048MD-SP@fasolo.debian.org>
and subject line Bug#1038450: fixed in coq-unimath 20230420-3
has caused the Debian Bug report #1038450,
regarding coq-unimath FTBFS on 32bit
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.)
--
1038450: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038450
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq-unimath
Version: 20230420-2
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/logs.php?pkg=coq-unimath&ver=20230420-2
...
COQC UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.v
File "./UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.v", line 333, characters 2-10:
Error: Anomaly "Uncaught exception Invalid_argument("String.create")."
Please report at http://coq.inria.fr/bugs/.
make[4]: *** [build/CoqMakefile.make:844: UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.vo] Error 129
--- End Message ---
--- Begin Message ---
Source: coq-unimath
Source-Version: 20230420-3
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-unimath, 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 1038450@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 coq-unimath 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 14:21:21 +0200
Source: coq-unimath
Architecture: source
Version: 20230420-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038450
Changes:
coq-unimath (20230420-3) unstable; urgency=medium
.
* Drop 32-bits architecture (too big for the VM there) (Closes: #1038450).
Checksums-Sha1:
ccf71ccc8635b2a0964d54107d35a5335084e24f 2171 coq-unimath_20230420-3.dsc
d3f546c7057d4ac77cb2950c64489c15c8753e4c 1940 coq-unimath_20230420-3.debian.tar.xz
def7d03f2961952e2da656d67537091d74b4eb29 7435 coq-unimath_20230420-3_source.buildinfo
Checksums-Sha256:
c743acf4677b861a08d8c65c66c0cf3351de1befaef3930c06521076ce01dfb1 2171 coq-unimath_20230420-3.dsc
7e9ebc987108dcf253384241fe5d02a5d11bcb928e3fa7a39c3a6811ea245db0 1940 coq-unimath_20230420-3.debian.tar.xz
2c22959a39d952ce8b8a2e52f33a0e907f4c1cdeff944746657de4120ec984f8 7435 coq-unimath_20230420-3_source.buildinfo
Files:
b51ac104cdc363505e9752a8ba98300c 2171 ocaml optional coq-unimath_20230420-3.dsc
c7cb9c7231ecbeb3bcf98bafb9cb1d6a 1940 ocaml optional coq-unimath_20230420-3.debian.tar.xz
27844cded54229870b68a62f586b0f0f 7435 ocaml optional coq-unimath_20230420-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRmewSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa10P/3XtbMiFkb7ZxbwUL8IKwYAf4Gu8U/ag
yhkYN7oKAYIfJbq5I7LU9KJDdadx4faWYC5aVJvAIJMen/VVWWP+nFUBFsqPbRHx
FsbKrXup0M88UD8elrGg7JSCqRKHvO4sjBAkeQyemu4I3KTxglo28oeqrxHH9bWI
d0sc7zRv1cORgVnVplRAFRaEBo2isg+efOwIL5FN79dwGUuMULBil6KrPi6xKZts
Mg6CNm0B9sKtLE0z+ZPDGq96nyhN5AV548rMkKvkJkTli+xgDu4DWxqeoD+JBzjG
EZap/uC8KT6jf7dq9XYfcOq7Pr4iAray6X2Lauy5q+uDuI6oU0YzlLNpbfygGx8l
vyVITkvKq6Y+/1g8PftVo6xTvFXioNmWAd1HMCSzevmZQ2SE4PKPzmfYgp8Z/Zbm
6FA7iRuD6yNaKHoklnt3JTI0YRyUlVKR7c99PUPlk6tYSl7oKgMY8ENDZeRQdVHb
qnt6jNYWmtxBJWPp/RmfNHaPePJTMPNDi831+w2aOuc4ZqF8ORDqeG1MrBE1Dk/7
b+Y87CpdoS67vV/vxnN1ECDHQSAxMmDoAjXnqs2x8/ZAXM91d1mZEQZUn9efhlax
mIrcgOtH0hSRws/duE5R/UOmEjXEQCoxtnwJ8dEr+MhXg7bWkMT2SyGgLUja3Vii
krRzLaUKoVSf
=oIc9
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: