[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-2 created (now 808638d)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20170109-2 in repository hol-light. at 808638d (tag) tagging e4242ac0a2f43c825cf9e3128de9faffd3051726 (commit) replaces debian/20170109-1 tagged by Hendrik

[Pkg-ocaml-maint-commits] [hol-light] branch master updated (db54cd8 -> e4242ac)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository hol-light. from db54cd8 update packaging for new upstream version new e4242ac quick fix for building with camlp5 7.01 The 1 revisions listed above

[Pkg-ocaml-maint-commits] [hol-light] 01/01: quick fix for building with camlp5 7.01

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit e4242ac0a2f43c825cf9e3128de9faffd3051726 Author: Hendrik Tews Date: Wed Aug 2 23:05:50 2017 +0200 quick fix for building