Processing commands for [email protected]: > fixed 839928 8.6-1 Bug #839928 {Done: Vincent Lefevre <[email protected]>} [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 [email protected] with problems
