This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository coq.
from c2f1eda fix ocamlfind package name new 0905922 Remove unused Lintian overrides new 47a06f5 Remove menu files new e9b64f6 Update Vcs-* new 45d7383 Update changelog and prepare upload to unstable The 4 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 31 ++++++++++++++++++++----------- debian/control | 4 ++-- debian/coq-theories.lintian-overrides | 1 - debian/coq.menu | 4 ---- debian/coqide.menu | 4 ---- debian/libcoq-ocaml.lintian-overrides | 1 - 6 files changed, 22 insertions(+), 23 deletions(-) delete mode 100644 debian/coq-theories.lintian-overrides delete mode 100644 debian/coq.menu delete mode 100644 debian/coqide.menu delete mode 100644 debian/libcoq-ocaml.lintian-overrides -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits