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

[Git][ocaml-team/hol-light][master] Remove libcoq-bignums on B-D.

Title: GitLab

vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light

Commits:

  • be30c57e
    by Bo YU at 2024-12-15T21:53:08+08:00 
    Remove libcoq-bignums on B-D.

Signed-off-by: Bo YU <tsu.yubo@gmail.com>

2 changed files:

Changes:

  • debian/changelog
    1 
    +hol-light (1:3.0.0-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Remove libcoq-bignums on B-D from previous upload.
    4 
    +
    5 
    + -- Bo YU <tsu.yubo@gmail.com>  Sun, 15 Dec 2024 21:49:40 +0800
    6 
    +
    1 7 
     hol-light (1:3.0.0-1) unstable; urgency=medium
    2 8
    3 9 
       * Team upload.

  • debian/control
    ... ... @@ -12,7 +12,6 @@ Build-Depends:
    12 12 
      ocaml-findlib,
    13 13 
      dh-ocaml,
    14 14 
      libzarith-ocaml-dev,
    15 
    - libcoq-bignums,
    16 15 
     Standards-Version: 4.7.0
    17 16 
     Rules-Requires-Root: no
    18 17 
     Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/

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

    Reply to: