Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 11c87a3a by Ralf Treinen at 2024-08-12T10:54:06+02:00 d/watch: use gitlab tags - - - - - 2 changed files: - debian/changelog - debian/watch Changes: ===================================== debian/changelog ===================================== @@ -2,8 +2,9 @@ why3 (1.7.1-1) UNRELEASED; urgency=medium * New upstream release. * debian/clean: add doc/.doctrees (closes: #1046969), remove cruft + * debian/watch: use release tags in INRIA's gitlab - -- Ralf Treinen <[email protected]> Sun, 03 Mar 2024 02:16:35 +0100 + -- Ralf Treinen <[email protected]> Mon, 12 Aug 2024 10:52:43 +0200 why3 (1.6.0-1) unstable; urgency=medium ===================================== debian/watch ===================================== @@ -1,2 +1,5 @@ version=4 -https://why3.gitlabpages.inria.fr/releases/ .*/why3-(.*)\.tar\.gz + +opts="searchmode=plain" \ + https://gitlab.inria.fr/why3/@PACKAGE@/tags?sort=updated_desc \ + -/archive/\d[\d.]+/@PACKAGE@-@ANY_VERSION@@ARCHIVE_EXT@ debian uupdate \ No newline at end of file View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/11c87a3abd45d168e58cecb128ec84a0dc35f752 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/11c87a3abd45d168e58cecb128ec84a0dc35f752 You're receiving this email because of your account on salsa.debian.org.
