[Nix-dev] Updated package: hol

Peter Simons simons at cryp.to
Thu Oct 10 12:00:35 CEST 2013


Committed in 0ae1a8b.



More information about the nix-dev mailing list