coq-elpi (2.3.0-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 2.4.0-1 > 2.3.0-1
- Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1597440
- Browser: https://salsa.debian.org/ocaml-team/coq-elpi
- Last scan: 2025-02-11 13:38:33+00
- Next scan: 2025-02-19 01:31:00+00
- Debian changelog in Git:
coq-elpi (2.4.0-1) UNRELEASED; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Fri, 31 Jan 2025 10:27:11 +0100
- This branch is 3 commits ahead of tag debian/2.3.0-1
- Git log:
commit 10370c878c3517c6653cf5991ba9c344bb6fe033
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Jan 31 10:27:25 2025 +0100
Package new upstream 2.4.0
commit b650f15276331d1f0f0f5bc8c6ee21929ff76103
Merge: 61521f0 331350e
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Jan 31 10:27:08 2025 +0100
Update upstream source from tag 'upstream/2.4.0'
Update to upstream version '2.4.0'
with Debian dir ec2597edefa3d8920a6ea1a3f772beabd1670fbd
commit 331350ed5192cc30ae70e3e8f67da82c14160f49
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Jan 31 10:27:07 2025 +0100
New upstream version 2.4.0