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

[Git][ocaml-team/coq-doc][master] Remove camlp5 from Build-Depends



Title: GitLab

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

Commits:

  • 0579a376
    by Stephane Glondu at 2023-09-06T08:49:12+02:00
    Remove camlp5 from Build-Depends
    

1 changed file:

Changes:

  • debian/control
    ... ... @@ -6,8 +6,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org>,
    6 6
                Julien Puydt <jpuydt@debian.org>
    
    7 7
     Standards-Version: 4.6.2
    
    8 8
     Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
    
    9
    -Build-Depends-Indep: camlp5,
    
    10
    -                     fig2dev,
    
    9
    +Build-Depends-Indep: fig2dev,
    
    11 10
                          fonts-freefont-otf,
    
    12 11
                          hevea,
    
    13 12
                          imagemagick,
    


  • Reply to: