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: 176893952
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
- Last scan: 2023-05-27 12:17:24+00
- Next scan: 2023-06-05 08:47:00+00
- Merge requests: 5
- 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 haskell-diagrams_v1.4.0.1-1