[Nix-dev] Updated package: hol

[Tom Ridge]

Dear All,

Can someone checkin the attached? It is for

applications/science/logic/hol

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.

--

Thanks
-------------- 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