agda (2.5.1.1-4) [PTS] [DDPO]

ERROR:

Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Enter a full Vcs-* header, append -b branch to select the branch name. The next upload will reset the information from the source package headers.
Branch: master
Path: debian/changelog
Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda
Last scan: 2017-06-24 17:31:08+00
Error: debian/changelog not found in HEAD, debian, and master
Next scan: 2017-06-26 12:10:00+00

Debian changelog in Git:

agda (2.4.2.5-1) unstable; urgency=medium

  * [a116bca] Imported Upstream version 2.4.2.5
  * [2c258f5] Update build-deps for new release
  * [7d835fa] Remove patches which are applied upstream

 -- Iain Lane <laney@debian.org>  Mon, 04 Jan 2016 12:56:33 +0000

This branch is even with tag debian/2.4.2.5-1