agda (2.6.4.3-1) [PTS] [DDPO]

OK: VCS matches the version in the archive

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: 97546240
Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Last scan: 2025-04-26 01:29:22+00
Next scan: 2025-05-02 11:25:00+00
Merge requests: 2

Debian changelog in Git:

agda (2.6.4.3-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.7.0
  * New upstream release

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Tue, 08 Oct 2024 12:14:54 +0300

This branch is 2 commits ahead of tag haskell-xeno_v0.6-4

Git log:

commit 04c3c14cbe6624b67e7d1ea6a41c6055ebd18aa2
Author: Marcel Fourné <email@marcelfourne.de>
Date:   Tue Apr 15 15:09:53 2025 +0200

    fix haskell-charsetdetect-ae: Wrong BSD license

commit b76f534149bbb112543a644b55e240a82856a49f
Author: John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>
Date:   Wed Apr 2 10:57:16 2025 +0200

    haskell-src-exts: Use `-O0`, `-optcggc-min-expand=10` and `-optc-O3` on powerpc