Processing of mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes
From Debian FTP Masters@21:1/5 to All on Fri Apr 22 12:20:01 2022
mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes uploaded successfully to localhost
along with the files:
mathcomp-zify_1.2.0+1.12+8.13-1.dsc
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
mathcomp-zify_1.2.0+1.12+8.13-1_amd64.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)