agda (2.6.4.3-1) [PTS] [DDPO]
NEW: VCS has unreleased changes: 2.6.4.3-2 > 2.6.4.3-1- Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
- Branch: master
- Path: debian/changelog
- Repo size: 735133696
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2026-01-04 18:57:08+00
- Next scan: 2026-01-10 09:51:00+00
- Merge requests: 1
- Debian changelog in Git:
agda (2.6.4.3-2) UNRELEASED; urgency=medium * Build using dh-haskell -- Scott Talbert <swt@techie.net> Sun, 09 Nov 2025 21:11:35 -0500
- This branch is even with tag haskell-hashable_v1.5.0.0-1
