agda (2.5.4.1-3) [PTS] [DDPO]

OK: VCS matches the version in the archive

Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
Branch: master
Path: debian/changelog
Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Last scan: 2019-06-17 14:11:10+00
Next scan: 2019-06-18 17:46:00+00

Debian changelog in Git:

agda (2.5.4.1-3) unstable; urgency=medium

  * Remove build dependency on non-existing libghc-edisoncore-dev.
    The correct package is libghc-edison-core-dev.
  * Remove build dependency on *-prof packages.
    No profiling package is being built.

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sat, 20 Oct 2018 23:22:18 +0300

This branch is even with tag haskell-argon2_v1.3.0.1-5