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

[Git][ocaml-team/hol-light][master] clear some comments on d/watch again

Title: GitLab

vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light

Commits:

  • 97f5ab7d
    by Bo YU at 2024-10-15T16:11:11+08:00 
    clear some comments on d/watch again

Signed-off-by: Bo YU <tsu.yubo@gmail.com>

1 changed file:

Changes:

  • debian/watch
    1 1 
     version=4
    2 2
    3 
    -
    4 
    -# Explicitly prefer .zip until #831370 is fixed in tar.
    5 
    -
    6 3 
     opts=\
    7 4 
          downloadurlmangle=s|releases/tag|archive/refs/tags|;\
    8 5 
                            s|$|.zip|,\
    ... ... @@ -10,8 +7,3 @@ opts=\
    10 7 
          repacksuffix=+dfsg \
    11 8 
     https://github.com/jrh13/hol-light/releases \
    12 9 
     releases/tag/(?:Release|v)@ANY_VERSION@
    13 
    -
    14 
    -# The upstream version of HOL Light is only available as a git repository
    15 
    -# at https://github.com/jrh13/hol-light/ . There are no releases.
    16 
    -#
    17 
    -# If there is a way to let uscan check git commits then please tell me!

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

    Reply to: