[Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light

Commits:

• b0c59ab7
  by Bo YU at 2024-11-25T22:05:18+08:00

  New upstream version 3.0.0

• 46b54d23
  by Stephane Glondu at 2025-12-20T03:39:04+01:00

  Switch debian/watch to version 5
  

• 1a8c714e
  by Stephane Glondu at 2025-12-20T03:39:27+01:00

  New upstream version 3.1.0

• e7ae8ddd
  by Stephane Glondu at 2025-12-20T03:39:34+01:00

  Update upstream source from tag 'upstream/3.1.0'
  
  Update to upstream version '3.1.0'
  with Debian dir 0c08a2be07dde9e15dc0a79e88ae296a0eadff78

• 59642f00
  by Stephane Glondu at 2025-12-20T03:39:51+01:00

  New upstream release
  

• f78e1b4f
  by Stephane Glondu at 2025-12-20T03:41:06+01:00

  Update packaging
  

• b4250f17
  by Stephane Glondu at 2025-12-20T03:49:34+01:00

  Update changelog
  

93 changed files:

• .github/workflows/main.yml
• .gitignore
• + 100/transcendence.ml
• CHANGES
• Examples/bitblast.ml
• + Examples/bitblast_generic.ml
• Help/ASM.hlp
• + Help/EL_CONV.hlp
• + Help/LENGTH_CONV.hlp
• Help/LIST_CONV.hlp
• + Help/LIST_OF_SEQ_CONV.hlp
• Help/PRINT_GOAL_TAC.hlp
• + Help/PRINT_TERM_CONV.hlp
• + Help/REMARK_TAC.hlp
• + Help/REVERSE_CONV.hlp
• Help/b.hlp
• + Help/delete_user_color_printer.hlp
• Help/delete_user_printer.hlp
• Help/e.hlp
• + Help/er.hlp
• + Help/find_index.hlp
• Help/g.hlp
• Help/index.hlp
• + Help/install_user_color_printer.hlp
• Help/install_user_printer.hlp
• Help/load_path.hlp
• Help/loadt.hlp
• Help/p.hlp
• + Help/pp_print_colored_qterm.hlp
• + Help/pp_print_colored_qtype.hlp
• + Help/pp_print_colored_term.hlp
• + Help/pp_print_colored_thm.hlp
• + Help/pp_print_colored_type.hlp
• Help/pp_print_qterm.hlp
• Help/pp_print_qtype.hlp
• Help/pp_print_term.hlp
• Help/pp_print_thm.hlp
• Help/pp_print_type.hlp
• Help/r.hlp
• Help/remark.hlp
• + Help/set_color_printer.hlp
• − Help/term_union.hlp
• + Help/try_user_color_printer.hlp
• Help/try_user_printer.hlp
• Help/unset_then_multiple_subgoals.hlp
• Library/bdd.ml
• Library/binomial.ml
• Library/bitmatch.ml
• + Library/fieldtheory.ml
• + Library/matroids.ml
• Library/primitive.ml
• Library/ringtheory.ml
• + Library/word_automata.ml
• Library/words.ml
• + META
• Makefile
• Multivariate/complex_database.ml
• Multivariate/make.ml
• Multivariate/make_complex.ml
• Multivariate/multivariate_database.ml
• Multivariate/vectors.ml
• ProofTrace/README
• ProofTrace/fusion.ml.diff
• README
• bignum_zarith.ml
• calc_int.ml
• calc_num.ml
• calc_rat.ml
• compute.ml
• database.ml
• debian/changelog
• debian/control
• debian/watch
• define.ml
• equal.ml
• hol.ml
• hol_4.14.sh
• hol_4.sh
• hol_lib.ml
• hol_loader.ml
• holtest
• holtest.mk
• ind_defs.ml
• int.ml
• lib.ml
• lists.ml
• + make-checkpoint.sh
• − make.ml
• + opam
• printer.ml
• sets.ml
• tactics.ml
• unit_tests.ml

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help Notification message regarding https://salsa.debian.org/ocaml-team/hol-light/-/compare/ed7cbe1d7fe2672078ca45560a1d7f6cf7e7338f...b4250f170155138ade55fbd9a38a3fa63c55cd7e at 1766199053