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

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



Title: GitLab

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

Commits:

  • e7cc1593
    by Stephane Glondu at 2024-06-18T11:16:10+02:00
    Prepare upload to unstable
    

1 changed file:

Changes:

  • debian/changelog
    1
    -coq-doc (8.19.1-2) UNRELEASED; urgency=medium
    
    1
    +coq-doc (8.19.1-2) unstable; urgency=medium
    
    2 2
     
    
    3 3
       * Call "dune build" with --release
    
    4 4
     
    
    5
    - -- Stéphane Glondu <glondu@debian.org>  Tue, 18 Jun 2024 10:21:35 +0200
    
    5
    + -- Stéphane Glondu <glondu@debian.org>  Tue, 18 Jun 2024 11:16:07 +0200
    
    6 6
     
    
    7 7
     coq-doc (8.19.1-1) unstable; urgency=medium
    
    8 8
     
    


  • Reply to: