Gianfranco Costamagna pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits: e36a6cdd by Gianfranco Costamagna at 2019-07-29T11:27:00Z New upstream version 20190729 - - - - - 8 changed files: - + .gitattributes - + .gitignore - 100/cayley_hamilton.ml - Boyer_Moore/README - CHANGES - + Examples/digit_serial_methods.ml - Examples/lucas_lehmer.ml - + Examples/padics.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/commit/e36a6cdda62ec8e7bc40f37715ff2fb1bcbef138 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/commit/e36a6cdda62ec8e7bc40f37715ff2fb1bcbef138 You're receiving this email because of your account on salsa.debian.org.
