diff options
| author | Julien Lepiller <[email protected]> | 2022-04-30 15:54:35 +0200 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2022-04-30 18:00:34 +0200 |
| commit | 3ee7e8c5b9b44e948a9132870771c98f90eda79d (patch) | |
| tree | c23a9d94e6d7a6ddf8b9d911e5d4cfc86a23e95f /gnu/platform.scm | |
| parent | fbcd25f5ef2f3d51dae30d0f8085d6a57c4944a7 (diff) | |
gnu: camlp5: Update to 8.00.03.
* gnu/packages/ocaml.scm (camlp5): Update to 8.00.03.
Diffstat (limited to 'gnu/platform.scm')
0 files changed, 0 insertions, 0 deletions