[Nix-dev] Re: new nixpkg: hol

[Michael Raskin]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 08/25/2010 06:00 PM, Yury G. Kudryashov wrote:
> "http://downloads.sourceforge.net/project/hol/hol/kananaskis-5/kananaskis-5.tar.gz";
>>  sha256 = "1qjfx5ii80v17yr04hz70n8aa46892fjc4qcxs9gs7nh3hw7rvmx"; };
> Just mirror://sourceforge/hol/kananaskis-5.tar.gz should work.

And frankly, I am not sure which is better. SF.net does a nice job at
redirecting you to a close mirror.

>>  buildInputs = [polyml gcc];
> buildInputs = [ polyml gcc ]; is enough

You meant
buildInputs = [ polyml ];

>>  description = "An interactive theorem prover based on Higher-Order
>>  Logic."; longDescription = ''
>>  HOL FIXME
>>  '';
> Get rid of those FIXMEs.

I'd say it's better to have no longDescription and sufficient
description than to have a FIXME longDescription.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.16 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJMdSTFAAoJEE6tnN0aWvw3v/cIALh/T2B+MN6l1NyrLKMAPHFF
ndgSV5rGIf0HJLUtHHlxvR56rw6Mi7ZwoP4Huv8wTaH6nAnciqTzUT3dRCrvVKEz
l6GdJLaY3Ks35DfcaNi4yR0KWac3bYBZL7wlWurk2bxev++i2q6zTx29v0GSW+Fy
5NKWkMg4WyWBKZk92uQAqDL4KihUHCYdyx2Q3zm0XM+Je6/Bjv1dmLQesMxFqShT
hH5QLljAhR7sTy515b5L35YdQerUr6iBK2YSgy7/IynsHP7CxQRFajqSB8afKFsq
1Y9bSck8ViIcGaQPhpgq+R+xoJJe8krqW3AD7D+o03z0Qn+cuLlNOh4UmyUVGLk=
=xczS
-----END PGP SIGNATURE-----