Processing commands for [email protected]: > close 831566 4.4.1~pre170114-1 Bug #831566 [proofgeneral] proofgeneral/testing does not support the full syntax of coq/testing Marked as fixed in versions proofgeneral/4.4.1~pre170114-1. Bug #831566 [proofgeneral] proofgeneral/testing does not support the full syntax of coq/testing Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 831566: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831566 Debian Bug Tracking System Contact [email protected] with problems
