From Debian FTP Masters@21:1/5 to All on Sun Apr 3 22:30:01 2022
aac-tactics_8.15.1-1_amd64.changes uploaded successfully to localhost
along with the files:
aac-tactics_8.15.1-1.dsc
aac-tactics_8.15.1.orig.tar.gz
aac-tactics_8.15.1-1.debian.tar.xz
aac-tactics_8.15.1-1_amd64.buildinfo
libaac-tactics-ocaml-dbgsym_8.15.1-1_amd64.deb
libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb
libaac-tactics-ocaml_8.15.1-1_amd64.deb
libcoq-aac-tactics_8.15.1-1_all.deb
Greetings,
Your Debian queue daemon (running on host usper.debian.org)