diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-06-03 06:02:09 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-06-03 06:46:31 +0200 |
| commit | e809c891dd05195c4390dd32540f5bf65418513a (patch) | |
| tree | 10b81e0ea2db6ca4d72a7998e389a645bada70ce /gnu/packages/pretty-print.scm | |
| parent | 0c58139c9a91953d089cb39b9b856409c4975a7b (diff) | |
| download | guix-e809c891dd05195c4390dd32540f5bf65418513a.tar.gz guix-e809c891dd05195c4390dd32540f5bf65418513a.zip | |
gnu: camlp5: Update to 7.12.
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
Diffstat (limited to 'gnu/packages/pretty-print.scm')
0 files changed, 0 insertions, 0 deletions