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

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 a5735d4 Update watch file new 991870c Imported Upstream version 20170109 new 0d4515f Merge tag 'upstream/20170109'

[Pkg-ocaml-maint-commits] [hol-light] 02/03: Merge tag 'upstream/20170109'

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 0d4515f9ce415a6b6a904e64243abd3a462d Merge: a5735d4 991870c Author: Hendrik Tews Date: Mon Jan 9 20:52:16 2017 +0100

[Pkg-ocaml-maint-commits] [hol-light] 03/03: update packaging for new upstream version

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 db54cd89ee1b59337e9583b6a327a8d94bae2abc Author: Hendrik Tews Date: Mon Jan 9 23:32:00 2017 +0100 update packaging for new

[Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (862c915 -> c2552f0)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository hol-light. from 862c915 pristine-tar data for hol-light_20131026.orig.tar.bz2 new c2552f0 pristine-tar data for hol-light_20170109.orig.tar.gz

[Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (fc867d4 -> 991870c)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository hol-light. from fc867d4 Imported Upstream version 20131026 new 991870c Imported Upstream version 20170109 The 1 revisions listed above as "new"

[Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20170109 created (now 3eb0ea7)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/20170109 in repository hol-light. at 3eb0ea7 (tag) tagging 991870cb311cf1da0bf42e9f383eec43c66be2fc (commit) replaces upstream/20131026 tagged by Hendrik

[Pkg-ocaml-maint-commits] [hol-light] 01/01: pristine-tar data for hol-light_20170109.orig.tar.gz

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository hol-light. commit c2552f005a9bea6fead729c4dce8473274267995 Author: Hendrik Tews Date: Mon Jan 9 20:52:16 2017 +0100 pristine-tar data

[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-1 created (now 2017bc9)

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