Bug#1038382: marked as done (coq: FTBFS: /bin/sh: Argument list too long)
Your message dated Sat, 17 Jun 2023 14:50:10 +0000
with message-id <E1qAXFi-007Mjk-6Z@fasolo.debian.org>
and subject line Bug#1038382: fixed in coq-unimath 20230420-2
has caused the Debian Bug report #1038382,
regarding coq: FTBFS: /bin/sh: Argument list too long
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.)
--
1038382: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038382
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq-unimath
Version: 20230420-1
Severity: serious
Tags: ftbfs sid trixie
Justification: fails to build from source (but built successfully in the past)
X-Debbugs-Cc: sramacher@debian.org
https://buildd.debian.org/status/fetch.php?pkg=coq-unimath&arch=arm64&ver=20230420-1&stamp=1686678669&raw=0
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
create-stamp debian/debhelper-build-stamp
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
DESTDIR=/<<PKGBUILDDIR>>/debian/tmp BUILD_COQ=no make install
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ulimit -v unlimited ; make -f build/CoqMakefile.make all
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[4]: Nothing to be done for 'real-all'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
ulimit -v unlimited ; make -f build/CoqMakefile.make install
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: /bin/sh: Argument list too long
make[3]: *** [build/CoqMakefile.make:598: install] Error 127
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:97: install] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:18: override_dh_auto_install] Error 2
Cheers
--
Sebastian Ramacher
--- End Message ---
--- Begin Message ---
Source: coq-unimath
Source-Version: 20230420-2
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 1038382@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: Sat, 17 Jun 2023 15:37:55 +0200
Source: coq-unimath
Architecture: source
Version: 20230420-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038382
Changes:
coq-unimath (20230420-2) unstable; urgency=medium
.
* Add a versioned depend on coq 8.17 (Closes: #1038382).
Checksums-Sha1:
6394e0b63d838475ac99fc4661a9ca2f0cd4f5b2 2109 coq-unimath_20230420-2.dsc
492ad08679f16d33d092315ac79612c10dd8d667 1860 coq-unimath_20230420-2.debian.tar.xz
df908d8c26ab03434aa99d5e9e50dfe2811614fe 7442 coq-unimath_20230420-2_source.buildinfo
Checksums-Sha256:
34a4545731dfd7b18a0bd8de8b99ac41124acd6a4c82f7484be5599f89baf89a 2109 coq-unimath_20230420-2.dsc
b33f7bfab26889bfa295eaa89f6dafc64a65743443a605af608bbfe083ae672b 1860 coq-unimath_20230420-2.debian.tar.xz
6bb511e9645b03dee0185e6cc8acbd0d7c66d729b52327c404975f3a21389840 7442 coq-unimath_20230420-2_source.buildinfo
Files:
7f8fee5e175e7568ece60f8c9653a5af 2109 ocaml optional coq-unimath_20230420-2.dsc
82f5bcc6fca41a105d57d540d3145d59 1860 ocaml optional coq-unimath_20230420-2.debian.tar.xz
9077c6427f584793c1afe8970bf886bb 7442 ocaml optional coq-unimath_20230420-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSNt8oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjlkQAIY7/AF0ufKx56fM1Fd2BxBcCA+SprzM
I4aqwL6Y3b2YwO33CpzT8GYZxVqMn+nazZCL7qzp0MM2LE5UOJWRt0q5gDmNX0WB
CZknqLhpjZ5HmBdnREOw6yh3wkc02JVBJQrxk/p6PDkzqL9HAGO1Wn4ytifQ+z/Y
GQ3IJaFz5oq1S4KJRQG1zJ7K28KJ2G9UjF5SRAnm7baH7PIQ7Wy1hf1R8XfM8TTv
m576vES+rkYYHZSLtZbJpiG2AzeZdKcKCfDYTCRoqvUKGfzoJbkeYTdku7DX6HW1
HuD60z4CI6x0u7/YCwOW2fO3Z2VrILhZ0GFDJZsHnXwGJj6+SxbFJaLXDVjM7SeC
2C7FcX4a8hQXlD7P5PYWDPHPucs87ku76MmjxX1bxcYOnsdS5UwYkCxvTlmOcxrq
XdokZNBnayh+hf0dyvldZfzYZLmSm8Z8pJuoZb/j7F29GveKoPBx2AUEGPBfXhXJ
10j2+812daJPAeEgpmHoa/3YN71zemKUt4dvijU2ckOjuLdvyStM5MTRPJbgQ1Cd
sJIcyjhcSflJIo+GHVaM437wBl7jzGOwot7+028oxfCbrHJ41T4T8c97YZGCqIc5
+vMAGgAfhqKZUtv5FiEgEkmYKGshPfvoIvVaIPx3dcgrU9ev9LPLhR2yIM51bRAr
JZqrMJBtLnWo
=OZAQ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: