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

[Git][ocaml-team/aac-tactics][master] 3 commits: Do not hardcode /usr/lib/ocaml

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / aac-tactics

Commits:

  • 43e7b4a1
    by Stephane Glondu at 2024-08-03T16:48:56+02:00 
    Do not hardcode /usr/lib/ocaml
  • 897cd17e
    by Stephane Glondu at 2024-08-03T16:49:05+02:00 
    Update changelog
  • 7ac352ff
    by Stephane Glondu at 2024-08-03T17:29:36+02:00 
    Prepare upload to unstable

4 changed files:

Changes:

  • debian/changelog
    1 
    +aac-tactics (8.19.1-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Do not hardcode /usr/lib/ocaml
    4 
    +
    5 
    + -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 17:29:07 +0200
    6 
    +
    1 7 
     aac-tactics (8.19.1-1) unstable; urgency=medium
    2 8
    3 9 
       * New upstream release.

  • debian/libcoq-aac-tactics.install → debian/libcoq-aac-tactics.install.in
    1 
    -/usr/lib/ocaml/coq/user-contrib/AAC_tactics
    2 
    -/usr/lib/ocaml/coq-aac-tactics
    1 
    +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics
    2 
    +@OCamlStdlibDir@/coq-aac-tactics
    3 3 
     html/*                    /usr/share/doc/libcoq-aac-tactics/theories

  • debian/not-installed deleted
    1 
    -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cma
    2 
    -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmx
    3 
    -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmxa

  • debian/not-installed.in
    1 
    +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cma
    2 
    +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cmx
    3 
    +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cmxa

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

    Reply to: