diff options
author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 18:05:11 +0200 | |||
---|---|---|---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:22 +0200 | |||
commit | 2017-01-08 | gnu: icecat: Add fixes from upstream mozilla-esr45.... | Mark H Weaver | ||
2017-01-08 | gnu: icecat: Rename patches that have been assigned CVEs.... | Mark H Weaver | |||
2017-01-07 | Revert "gnu: nspr: Update to 4.13.1."... | Leo Famulari | |||
2017-01-06 | gnu: 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