aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-10-21 18:05:11 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-10-22 10:21:22 +0200
commit2017-01-08gnu: icecat: Add fixes from upstream mozilla-esr45....Mark H Weaver
2017-01-08gnu: icecat: Rename patches that have been assigned CVEs....Mark H Weaver
2017-01-07Revert "gnu: nspr: Update to 4.13.1."...Leo Famulari
2017-01-06gnu: nspr: Update to 4.13.1....Leo Famulari
gnu: Add coq-bignums.
* gnu/packages/ocaml.scm (coq-bignums): New variable.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions