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

[Git][ocaml-team/why3][master] update home page

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3

Commits:

  • 0b085305
    by Ralf Treinen at 2025-04-20T11:14:11+02:00 
    update home page

2 changed files:

Changes:

  • debian/changelog
    1 
    +why3 (1.8.0-3) UNRELEASED; urgency=medium
    2 
    +
    3 
    +  * Update home page.
    4 
    +
    5 
    + --
    6 
    +
    1 7 
     why3 (1.8.0-2) unstable; urgency=medium
    2 8
    3 9 
       * Team upload

  • debian/control
    ... ... @@ -26,8 +26,8 @@ Build-Depends:
    26 26 
     #   tex-gyre,
    27 27 
     #   graphviz
    28 28 
     Standards-Version: 4.7.0
    29 
    -Rules-Requires-Root: no
    30 
    -Homepage: http://why3.lri.fr/
    29 
    +Rules-Requires-Root: nohttps://www.why3.org/
    30 
    +Homepage: https://www.why3.org/
    31 31 
     Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
    32 32 
     Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
    33 33

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

    Reply to: