diff options
| author | raingloom <raingloom@riseup.net> | 2023-02-15 23:00:21 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2023-02-17 15:44:57 +0000 |
| commit | 1e324abac03770623fbaafa1bfd1fccf51b0cb4e (patch) | |
| tree | 6dcbf810bc060bbf0e5ad555a8a3c8cc20249ea5 /gnu/packages/agda.scm | |
| parent | 5bb2dc0ca2a4e4bdad674f30cfd68c2c436f488a (diff) | |
| download | guix-1e324abac03770623fbaafa1bfd1fccf51b0cb4e.tar.gz | |
gnu: Add ocaml-shared-memory-ring.
* gnu/packages/ocaml.scm (ocaml-shared-memory-ring): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions