diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2021-02-17 22:45:08 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-04-06 23:59:47 +0200 |
| commit | ee9c44c76752231ea40f2492304426f204f93a0e (patch) | |
| tree | 37e312dd379f2ba2c3d19f65a06790a5d61b5e10 /gnu/packages/lean.scm | |
| parent | 5a6e27bfbdf04bb4555b49fd06766266807a3092 (diff) | |
gnu: Add camlidl.
* gnu/packages/ocaml.scm (camlidl): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions