Processed: Bug#1105230 marked as pending in aac-tactics

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1105230 marked as pending in aac-tactics
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 27 May 2025 11:09:03 +0000
Message-id: <[🔎] handler.s.U1105230.17483440122432126.transcript@bugs.debian.org>
References: <68359ccac149e_3cc10405377@godard.mail> <[🔎] aCOUd4UodInYVjJg@grub.nussbaum.fr>

Processing control commands:

> tag -1 pending
Bug #1105230 [src:aac-tactics] aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
Added tag(s) pending.

-- 
1105230: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105230
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1105230: aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
  - From: Lucas Nussbaum <lucas@debian.org>

Prev by Date: [Git][ocaml-team/hlins] Pushed new tag debian/0.40-2
Next by Date: Processing of lem_2025-03-13+dfsg-1_source.changes
Previous by thread: Bug#1105230: aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse
Next by thread: Bug#1105250: camlp5: FTBFS with make --shuffle=reverse: make[3]: *** [Makefile:126: compare_test] Error 1 shuffle=reverse
Index(es):
- Date
- Thread