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]
- Branch: master
- Path: debian/changelog
- Repo size: 165617664
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2025-01-11 22:47:15+00
- Next scan: 2025-01-20 20:53:00+00
- 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 even with tag elm-compiler_v0.19.1-4