Bug#1000573: Bytecode architectures blocking bug

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1000573: Bytecode architectures blocking bug
From: Julien Puydt <julien.puydt@gmail.com>
Date: Thu, 25 Nov 2021 10:15:52 +0100
Message-id: <[🔎] CAB=MRcJLZ9XvB0Wi70fsNToBHqs2+bN-m3y7_cXdDGkE1tSkcw@mail.gmail.com>
Reply-to: Julien Puydt <julien.puydt@gmail.com>, 1000573@bugs.debian.org

Package: coq

Version: 8.14.0+dfsg-6

Severity: grave

X-Debbugs-CC: debian-ocaml-maint@lists.debian.org

Don't migrate to testing until the bytecode architectures' situation is cleared.

Cheers,

J. Puydt

Reply to:

Prev by Date: Bug#1000570: RM: galax -- RoQA; unmaintained, FTBFS, not in stable
Next by Date: Processed: Bug#978875 marked as pending in ocaml
Previous by thread: Bug#1000570: RM: galax -- RoQA; unmaintained, FTBFS, not in stable
Next by thread: Processed: Bug#978875 marked as pending in ocaml
Index(es):
- Date
- Thread