[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/why3][master] d/watch: use gitlab tags

Title: GitLab

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:

Changes:

  • debian/changelog
    ... ... @@ -2,8 +2,9 @@ why3 (1.7.1-1) UNRELEASED; urgency=medium
    2 2
    3 3 
       * New upstream release.
    4 4 
       * debian/clean: add doc/.doctrees (closes: #1046969), remove cruft
    5 
    +  * debian/watch: use release tags in INRIA's gitlab
    5 6
    6 
    - -- Ralf Treinen <treinen@debian.org>  Sun, 03 Mar 2024 02:16:35 +0100
    7 
    + -- Ralf Treinen <treinen@debian.org>  Mon, 12 Aug 2024 10:52:43 +0200
    7 8
    8 9 
     why3 (1.6.0-1) unstable; urgency=medium
    9 10

  • debian/watch
    1 1 
     version=4
    2 
    -https://why3.gitlabpages.inria.fr/releases/ .*/why3-(.*)\.tar\.gz
    2 
    +
    3 
    +opts="searchmode=plain" \
    4 
    + https://gitlab.inria.fr/why3/@PACKAGE@/tags?sort=updated_desc \
    5 
    + -/archive/\d[\d.]+/@PACKAGE@-@ANY_VERSION@@ARCHIVE_EXT@ debian uupdate
    \ No newline at end of file

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: