summary refs log tree commit diff
path: root/nix/AUTHORS
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2018-05-04 20:44:15 +0200
committerJulien Lepiller <julien@lepiller.eu>2018-05-04 21:30:51 +0200
commit206af0dfcf4b8311c3cd83bc7d647103145efbf6 (patch)
tree39220d0b0a5e80b73c71a118d936b6c88be46e35 /nix/AUTHORS
parent1b96fa013d9d6ca124c74cbc3ad57f1c27574a04 (diff)
downloadguix-206af0dfcf4b8311c3cd83bc7d647103145efbf6.tar.gz
gnu: coq-mathcomp: Update to 1.7.0.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1.7.0.
Diffstat (limited to 'nix/AUTHORS')
0 files changed, 0 insertions, 0 deletions