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

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

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

  • b6e64d6c
    by Julien Puydt at 2025-10-29T00:19:13+01:00 
    Prepare for upload to experimental

1 changed file:

Changes:

  • debian/changelog
    1 
    -coq (9.1.0+dfsg-2) UNRELEASED; urgency=medium
    1 
    +coq (9.1.0+dfsg-2) experimental; urgency=medium
    2 2
    3 3 
       * Update depends from why to why3 (Closes: #1117585).
    4 4
    5 
    - -- Julien Puydt <jpuydt@debian.org>  Wed, 08 Oct 2025 10:48:08 +0200
    5 
    + -- Julien Puydt <jpuydt@debian.org>  Wed, 29 Oct 2025 00:18:57 +0100
    6 6
    7 7 
     coq (9.1.0+dfsg-1) experimental; 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 Notification message regarding https://salsa.debian.org/ocaml-team/coq/-/commit/b6e64d6c34ce949e97ffa0e6eaba2888f11986e3 at 1761693982

    Reply to: