[Nix-dev] Updated package: hol

Tom Ridge tom.j.ridge at googlemail.com
Thu Oct 10 11:20:50 CEST 2013

Dear All,

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:


Writing HOLPage
*** Can't see dot executable at dot; not generating theory-graph
Hol built successfully.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: default.nix
Type: application/octet-stream
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 mailing list