aboutsummaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2018-05-04 20:19:28 +0200
committerJulien Lepiller <julien@lepiller.eu>2018-05-04 21:30:49 +0200
commit1b96fa013d9d6ca124c74cbc3ad57f1c27574a04 (patch)
tree017fe59dd8e0d0a1367e393920908722e284cbb3 /TODO
parent1d181cbe43fb28c77abdc1f8b54ba9e3a984c3e1 (diff)
downloadguix-1b96fa013d9d6ca124c74cbc3ad57f1c27574a04.tar
guix-1b96fa013d9d6ca124c74cbc3ad57f1c27574a04.tar.gz
gnu: coq-gappa: Update to 1.3.2.
* gnu/packages/ocaml.scm (coq-gappa): Update to 1.3.2.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions