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 with camlp5 7.01
---
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 as
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
3 matches
Mail list logo