agda-stdlib (1.7.3-1) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
- Branch: master
- Path: debian/changelog
- Repo size: 233472
- Browser: https://salsa.debian.org/haskell-team/agda-stdlib
- Last scan: 2024-10-08 21:19:50+00
- Next scan: 2024-10-14 14:53:00+00
- Debian changelog in Git:
agda-stdlib (1.7.3-1) unstable; urgency=low * New upstream release (Closes: #1054936) * Apply multi-arch hints. + agda-stdlib-doc: Add Multi-Arch: foreign. -- Ilias Tsitsimpis <iliastsi@debian.org> Sat, 04 Nov 2023 13:55:07 +0200
- This branch is even with tag debian/1.7.3-1