agda (2.6.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: 23830528
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2024-03-17 11:51:33+00
- Next scan: 2024-03-23 06:55:00+00
- Debian changelog in Git:
agda (2.6.3-1) unstable; urgency=medium * Declare compliance with Debian policy 4.6.2 * New upstream release -- Ilias Tsitsimpis <iliastsi@debian.org> Fri, 13 Oct 2023 17:57:46 +0300
- This branch is even with tag haskell-fgl_v5.8.1.1-1