Version of php-codecoverage: 9.2.31+dfsg-1
Architecture of php-codecoverage: all
Version of racket: 8.12+dfsg1-7
Architecture of racket: amd64