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: https://salsa.debian.org/ocaml-team/hol-light/-/compare/ed7cbe1d7fe2672078ca45560a1d7f6cf7e7338f...b4250f170155138ade55fbd9a38a3fa63c55cd7e -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/ed7cbe1d7fe2672078ca45560a1d7f6cf7e7338f...b4250f170155138ade55fbd9a38a3fa63c55cd7e You're receiving this email because of your account on salsa.debian.org.
