diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-02-16 16:41:45 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-02-16 22:46:38 +0100 |
commit | 338ae8eb366003c6e66ef1bfec0bbed498a386d0 (patch) | |
tree | a4b8918d81ccf9f8d26e3383f427ce326d614221 /po | |
parent | 9469ab532fe561b8bb679ba8bf08f1c1f5f9374a (diff) | |
download | patches-338ae8eb366003c6e66ef1bfec0bbed498a386d0.tar patches-338ae8eb366003c6e66ef1bfec0bbed498a386d0.tar.gz |
gnu: camlp5: Update to 7.11.
* gnu/packages/ocaml.scm (camlp5): Update to 7.11.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions