agda (2.6.2.2-1.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: 165920768
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2023-01-22 11:19:35+00
- Next scan: 2023-01-31 05:08:00+00
- Merge requests: 7
- Debian changelog in Git:
agda (2.6.2.2-1.1) unstable; urgency=high * Non-maintainer upload. * add patch to remove internal agda-mode dependencies (Closes: #1017415) -- Marcel Fourné <debian@marcelfourne.de> Tue, 06 Dec 2022 16:57:40 +0100
- This branch is even with tag bustle_v0.8.0-2