Processing commands for control@bugs.debian.org: > fixed 952454 8.10.2-1 Bug #952454 [src:coq] coq: patch to use python3 (missing tests) 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 owner@bugs.debian.org with problems