[Nix-dev] Updated package: hol
tom.j.ridge at googlemail.com
Thu Oct 10 11:20:50 CEST 2013
Can someone checkin the attached? It is for
It bumps the version to k.8
I couldn't get the dot documentation generation step to work. It
doesn't really matter much, but if someone could look at this I would
be grateful. At the end of the build log it says:
*** Can't see dot executable at dot; not generating theory-graph
Hol built successfully.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1871 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20131010/2b5ef39e/attachment.obj
More information about the nix-dev