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: 884269056
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2025-03-29 12:13:00+00
- Next scan: 2025-04-06 03:47: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 even with tag haskell-ogma-cli_v1.7.0-1