[Nix-dev] Updated package: hol

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

Previous message: [Nix-dev] Updated package: hol
Next message: [Nix-dev] NixOS merged into Nixpkgs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Committed in 0ae1a8b.

Previous message: [Nix-dev] Updated package: hol
Next message: [Nix-dev] NixOS merged into Nixpkgs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the nix-dev mailing list