Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: 75c95ee4 by Ralf Treinen at 2019-02-11T18:38:51Z New upstream version 1.7.0 - - - - - 15 changed files: - + .travis.yml - + CONTRIBUTING.md - ChangeLog - − INSTALL - + INSTALL.md - − README - + README.md - + docs/README.md - + docs/htmldoc/Makefile - + docs/htmldoc/buildlibgraph - htmldoc/coqdoc.css → docs/htmldoc/coqdoc.css - + docs/htmldoc/depend - + docs/htmldoc/depend.js - + docs/htmldoc/index.html - + docs/htmldoc/index_abbreviation_*.html The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/commit/75c95ee481f3a5b8254bca4dd063a7c9d7dd9c04 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/commit/75c95ee481f3a5b8254bca4dd063a7c9d7dd9c04 You're receiving this email because of your account on salsa.debian.org.
