agda-stdlib (2.1-4) [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: 622592
- Browser: https://salsa.debian.org/haskell-team/agda-stdlib
- Last scan: 2025-02-01 12:56:08+00
- Next scan: 2025-02-09 08:17:00+00
- Debian changelog in Git:
agda-stdlib (2.1-4) unstable; urgency=medium * Include deprecated modules. Thanks Helmut Grohne for the report. -- Ilias Tsitsimpis <iliastsi@debian.org> Mon, 25 Nov 2024 19:17:09 +0200
- This branch is even with tag debian/2.1-4