Processing control commands:
> block 918633 by -1
Bug #918633 {Done: Ralf Treinen <[email protected]>} [why3-coq] why3-coq:
package should Depend on a specific Coq version
918633 was not blocked by any bugs.
918633 was not blocking any bugs.
Added blocking bug(s) of 918633: 921465-- 918633: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918633 921465: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921465 Debian Bug Tracking System Contact [email protected] with problems
