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

[Git][ocaml-team/hol-light][master] Team upload it

Title: GitLab

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

Commits:

  • ed7cbe1d
    by Bo YU at 2024-12-15T22:20:57+08:00 
    Team upload it

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

1 changed file:

Changes:

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

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

    Reply to: