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

[Git][ocaml-team/why3][master] debian/control: typing accident

Title: GitLab

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

Commits:

  • 939c1d71
    by Ralf Treinen at 2025-04-20T11:49:07+02:00 
    debian/control: typing accident

1 changed file:

Changes:

  • debian/control
    ... ... @@ -26,7 +26,7 @@ Build-Depends:
    26 26 
     #   tex-gyre,
    27 27 
     #   graphviz
    28 28 
     Standards-Version: 4.7.0
    29 
    -Rules-Requires-Root: nohttps://www.why3.org/
    29 
    +Rules-Requires-Root: no
    30 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

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

    Reply to: