Processing commands for cont...@bugs.debian.org:

> notfixed 952454 8.10.2-1
Bug #952454 [src:coq] coq: patch to use python3 (missing tests)
No longer marked as fixed in versions coq/8.10.2-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
952454: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952454
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to