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