Processing commands for control@bugs.debian.org: > tag 918633 + pending Bug #918633 [why3-coq] why3-coq: package should Depend on a specific Coq version Added tag(s) pending. > -- Stopping processing here. Please contact me if you need assistance. -- 918633: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918633 Debian Bug Tracking System Contact owner@bugs.debian.org with problems