Processing of why_2.23+dfsg-2_amd64.changes

[Archive Administrator <dak@ftp-master.debian.org>]

why_2.23+dfsg-2_amd64.changes uploaded successfully to localhost
along with the files:
  why_2.23+dfsg-2.dsc
  why_2.23+dfsg-2.diff.gz
  why_2.23+dfsg-2_amd64.deb
  why-examples_2.23+dfsg-2_all.deb
  libwhy-coq_2.23+dfsg-2_all.deb

Greetings,

	Your Debian queue daemon (running on host ries.debian.org)