Your message dated Wed, 29 Oct 2025 07:19:10 +0000
with message-id <[email protected]>
and subject line Bug#1105230: fixed in aac-tactics 9.0.0-1
has caused the Debian Bug report #1105230,
regarding aac-tactics: FTBFS with make --shuffle=reverse: make[2]: ***
[Makefile.coq:613: install-byte] Error 2 shuffle=reverse
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 [email protected]
immediately.)
--
1105230: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105230
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: aac-tactics
Version: 8.20.0-1
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-shuffle
Hi,
GNU Make now has a --shuffle option that simulates non-deterministic ordering
of target prerequisites. See
https://trofi.github.io/posts/238-new-make-shuffle-mode.html and also previous
work in Debian by Santiago Vila:
https://people.debian.org/~sanvila/make-shuffle/
This package fails to build with make --shuffle=reverse.
This is likely to be caused by a missing dependency in
debian/rules or an upstream Makefile.
More information about this mass bug filing is available at
https://wiki.debian.org/qa.debian.org/FTBFS/Shuffle
Relevant part (hopefully):
> make[2]: Entering directory '/build/reproducible-path/aac-tactics-8.20.0'
> Makefile.coq:613: update target 'install-byte' due to: target does not exist
> if [ "src/META.coq-aac-tactics" ]; then mkdir -p
> "/build/reproducible-path/aac-tactics-8.20.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../"
> && mv "src/META.coq-aac-tactics" "src/META.coq-aac-tactics.skip" ;
> "/usr/bin/ocamlfind" install -add -destdir
> "/build/reproducible-path/aac-tactics-8.20.0/debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/../coq-core//../"
> coq-aac-tactics src/aac_plugin.cma src/aac_plugin.cmo; rc=$?; mv
> "src/META.coq-aac-tactics.skip" "src/META.coq-aac-tactics"; exit $rc; fi
> ocamlfind: Cannot find META in package dir
> make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
The full build log is available from:
http://qa-logs.debian.net/2025/05/05/shuffle/reverse/aac-tactics_8.20.0-1_unstable_reverse.log
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
--- End Message ---
--- Begin Message ---
Source: aac-tactics
Source-Version: 9.0.0-1
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
aac-tactics, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated aac-tactics 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 29 Oct 2025 07:57:49 +0100
Source: aac-tactics
Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym
Architecture: source amd64
Version: 9.0.0-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-aac-tactics - Rocq tactics for reasoning modulo AC (theories)
Closes: 1105230
Changes:
aac-tactics (9.0.0-1) experimental; urgency=medium
.
* Sequence install targets (Closes: #1105230).
* Adapt to the Coq->Rocq transition.
* Update lintian overrides.
* Bump standards-version to 4.7.2.
* New upstream release.
Checksums-Sha1:
5cfdd1d72774e1c7487116e48f3271edbe7a3db4 2099 aac-tactics_9.0.0-1.dsc
9e382797a969e3dc1c4fcec7db8ffff7360b189c 70184 aac-tactics_9.0.0.orig.tar.gz
64758a0907cdd03653ede27dd5070b077266fdf2 3880 aac-tactics_9.0.0-1.debian.tar.xz
d8e0e67eda7cdb0079202487dc48b52f726a4de8 7141
aac-tactics_9.0.0-1_amd64.buildinfo
6ffc2dc1d09272893934bc9f02c10dc470d7bceb 13796
libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
15738925c5447ab593c2d97f7706165f5f645dba 397876
libcoq-aac-tactics_9.0.0-1_amd64.deb
Checksums-Sha256:
9b999d8e5acd23f3e4c9980712513df3df0b607a57223ff9e4022ec4fb8b19fb 2099
aac-tactics_9.0.0-1.dsc
3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184
aac-tactics_9.0.0.orig.tar.gz
61f981c00d036d18d73ab30d81a03ce19d090592dfa42877d155938ea26ad1a4 3880
aac-tactics_9.0.0-1.debian.tar.xz
1f3cbc1faae70cb7ce5b51f566ae19c628a343d58be1559930249b758045213e 7141
aac-tactics_9.0.0-1_amd64.buildinfo
0604e120ff8b6a7cc8f925536e32b446c48726afc13e2f05f90519496053f8cc 13796
libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
c2b729b515b557c03c27c2dc095a735d5584ea6513b698e7e9845bc8b0f12a4c 397876
libcoq-aac-tactics_9.0.0-1_amd64.deb
Files:
da3ffc7016e04e6c7e8c4764910cf187 2099 math optional aac-tactics_9.0.0-1.dsc
b8f9b3f4700b60d26d4f802ccd96618e 70184 math optional
aac-tactics_9.0.0.orig.tar.gz
5d107dceaa7d4c9ecf0804233c4278aa 3880 math optional
aac-tactics_9.0.0-1.debian.tar.xz
a387b1dcdf66b0f0aa8c2fa5dc28e041 7141 math optional
aac-tactics_9.0.0-1_amd64.buildinfo
becea6df0242994d9990383e58900a4e 13796 debug optional
libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb
67b082d920e68c105a9aac7dcac39518 397876 math optional
libcoq-aac-tactics_9.0.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBu8wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUedYEACEMD/TozoSbmQneOHjcz6i
Sy+GEWZflDYAEMt5/jg728J0fX08WqEz4xCnonbkQTiVdz5g5lm/okNM1sLHuyPi
blbEYM5k6lt+erNVPCuKCRIOm8T3gYDL6bamyWz4PcpaiNtQ6WLKbFDTzuLP6w+R
GKOfc4/ZwtCiqa3yMzvq9+GtVstpqE40bEUFRKvkJLX0iU6SehF8mEwqwRu4qzmu
CsMkNR+hkrgZ8qPwmiVXT381XeaU/hKFFnB4cIR6p2niAvUHF8402xIBwQ3d/Sgo
ImffzPCUfNaBpF4e8dW9KQjhGHotWfdEpQ+9WrzYLhbgdH4TGyOWkCWc6Zou/I4H
5ujVCm/oNDPC1BFZBOUfGkj0KDnFnA3PqrjSuEqSN5RK62FOw9L6wb1InZbwgglu
mb7VO/gkXfq8HC2v6ycUN9tZ8UDg/7JS+1AAdkbB5VnbjjBcA4jxvFJqg4PVajUL
oFP3Yg1ZMZ2MUSIhkHk62ruon259tvt0ryC29O7wswM88cxNO6zQDDS2vTkhAvOt
gbHZw/QB6bgbAWGgHbb7GRNqwDwC9N6Z6L3S9LRXGA547s1/wH6Jame9N4jF5NK5
gfJ5exu9JHo86TRSdXsZQyG51xHZy8+ZHcz0BGW+2i5FU221oK1qPY/MhwgJsM7x
1bqT6oUJUx0b9w/3PcCaSA==
=7LTx
-----END PGP SIGNATURE-----
pgp7nAp0iOyEs.pgp
Description: PGP signature
--- End Message ---
