Processing control commands:
> block 918633 by -1
Bug #918633 {Done: Ralf Treinen <trei...@debian.org>} [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 ow...@bugs.debian.org with problems
