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

[Git][ocaml-team/coq][master] Prepare upload to unstable

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq

Commits:

  • b838bf7f
    by Stephane Glondu at 2024-06-15T07:57:29+02:00 
    Prepare upload to unstable

1 changed file:

Changes:

  • debian/changelog
    1 
    -coq (8.19.1+dfsg-2) UNRELEASED; urgency=medium
    1 
    +coq (8.19.1+dfsg-2) unstable; urgency=medium
    2 2
    3 3 
       * Call "dune build" with "--release" to avoid failure on warnings
    4 4
    5 
    - -- Stéphane Glondu <glondu@debian.org>  Fri, 14 Jun 2024 14:48:38 +0200
    5 
    + -- Stéphane Glondu <glondu@debian.org>  Sat, 15 Jun 2024 07:57:25 +0200
    6 6
    7 7 
     coq (8.19.1+dfsg-1) unstable; urgency=medium
    8 8

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

    Reply to: