aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-10-21 16:31:46 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-10-22 10:21:16 +0200
commit2e331c9c43a6f0678967ff05383a189241fbf458 (patch)
treea8fa23c2492732789cafafd838b79146d79c4795 /release.nix
parentb44f13e04cec16c6c4a4ad627f79c787f868bc58 (diff)
downloadpatches-2e331c9c43a6f0678967ff05383a189241fbf458.tar
patches-2e331c9c43a6f0678967ff05383a189241fbf458.tar.gz
gnu: Update coq-mathcomp to 1.6.2.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions