vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 21e25f91 by Bo YU at 2024-11-26T15:53:33+08:00 Add epoch to version number Signed-off-by: Bo YU <[email protected]> - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,4 +1,4 @@ -hol-light (3.0.0-1) unstable; urgency=medium +hol-light (1:3.0.0-1) unstable; urgency=medium * Team upload. * Enable d/watch @@ -12,6 +12,7 @@ hol-light (3.0.0-1) unstable; urgency=medium * No need to install usr/share/hol-light/* explicitly. * Update d/copyright * Bump std-ver to 4.7.0 + * Add epoch to version number -- Bo YU <[email protected]> Tue, 26 Nov 2024 12:34:41 +0800 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/21e25f91ce1ad795e281a9aa03d70630d2886b32 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/21e25f91ce1ad795e281a9aa03d70630d2886b32 You're receiving this email because of your account on salsa.debian.org.

