Processed: Bug#1044637 marked as pending in coq
"Debian Bug Tracking System" <[email protected]> Tue, 21 Jul 2026 08:11:02 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
Processing control commands: > tag -1 pending Bug #1044637 [src:coq] coq: Fails to build source after successful build Added tag(s) pending. -- 1044637: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044637 Debian Bug Tracking System Contact [email protected] with problems