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