coq-reglang (1.2.1-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.2.1-3 > 1.2.1-1
- Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 135168
- Browser: https://salsa.debian.org/ocaml-team/coq-reglang
- Last scan: 2024-04-26 14:21:56+00
- Next scan: 2024-05-04 01:17: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