Michael Raskin fdb785f4d1 Merge pull request #5453 from pmahoney/skarnet-2.0 ...

Update skarnet.org software for 2.0 release.

2015-01-01 16:14:17 +03:00

..

darwin

fixes #1933

2014-10-23 00:14:09 +02:00

gnu

gnu: Fix (evaluation of the) call to forceSystem.

2014-07-28 20:46:32 +02:00

linux

Merge pull request #5453 from pmahoney/skarnet-2.0

2015-01-01 16:14:17 +03:00

windows

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00