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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions