Processing commands for control@bugs.debian.org: > fixed 839928 8.6-1 Bug #839928 {Done: Vincent Lefevre <vincent@vinc17.net>} [coq] coq: please update to Coq 8.5pl2 Marked as fixed in versions coq/8.6-1. > End of message, stopping processing here. Please contact me if you need assistance. -- 839928: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839928 Debian Bug Tracking System Contact owner@bugs.debian.org with problems