coq-reglang (1.2.1-3)
[PTS] [DDPO]
COMMITS: VCS has seen 1 commit since the debian/1.2.1-2 tag
- Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 163840
- Browser: https://salsa.debian.org/ocaml-team/coq-reglang
- Last scan: 2024-07-11 20:06:17+00
- Next scan: 2024-07-17 11:50:00+00
- Debian changelog in Git:
coq-reglang (1.2.1-3) unstable; urgency=medium
* Fix target distribution.
-- Julien Puydt <jpuydt@debian.org> Fri, 26 Apr 2024 15:56:43 +0200
- This branch is 1 commit ahead of tag debian/1.2.1-2
- Git log:
commit e71f7dfbe96cac55b6af5a0a76c68e24ffd89a21
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 26 15:57:06 2024 +0200
Fix target distribution