agda (2.8.0-2) [PTS] [DDPO]

ERROR:

Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
JSON
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
Repo size: 158920704
Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Last scan: 2026-02-15 20:54:10+00
Error: Error running git -c gc.auto=200 fetch --depth 50 --prune --force origin *:*
Next scan: 2026-02-24 00:59:00+00
Merge requests: 1

Debian changelog in Git:

agda (2.8.0-1) unstable; urgency=medium

  [ Scott Talbert ]
  * Build using dh-haskell
  * New upstream release

  [ Xiyue Deng ]
  * Move agda dependencies from Depends to Suggests for elpa-agda2-mode
    (Closes: #1125220)
  * Add ${elpa:Depends} to Depends for elpa-agda2-mode
  * Drop ancient emacs versions in Recommends and Enhances

 -- Scott Talbert <swt@techie.net>  Tue, 10 Feb 2026 15:35:03 -0500

This branch is even with tag haskell-gi-gdk3_v3.0.30-1