kili
d7041fabdc
Update to hs-random-1.1.
2015-09-19 08:01:03 +00:00
kili
0a3ad0dfef
Update plists (and bump).
2014-11-22 20:59:41 +00:00
kili
be7ce949cf
Regenerate plist for profiling libs.
2013-01-20 17:56:05 +00:00
kili
2acb3c8385
Move the @exec and @unexec lines running the {,un}register.sh scripts
...
and the line with the unregister.sh script down to the bottom of
the plist. Silences all the blurb about ".../*.haddock doesn't exist
or isn't a file."
2012-10-28 23:24:28 +00:00
kili
47f37a647e
A basic random number generation library, including the ability to
...
split random number generators.
ok matthew, sthen.
2012-08-30 21:08:54 +00:00
