diff options
| author | Benjamin <benjamin@uvy.fr> | 2024-03-24 00:35:16 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2024-12-23 11:48:04 +0100 |
| commit | 4075cda947fab82ca573193c08d693ac045aabe1 (patch) | |
| tree | 72c2785e75cf0f8e336c2b2eddb272358520a628 /gnu/packages/coq.scm | |
| parent | 5051fedad8ff61dc36f984da25d15ae4e70a38a7 (diff) | |
| download | guix-4075cda947fab82ca573193c08d693ac045aabe1.tar.gz guix-4075cda947fab82ca573193c08d693ac045aabe1.zip | |
gnu: Add ocamlc-loc.
* gnu/packages/ocaml.scm (ocamlc-loc): New variable.
Change-Id: I0bcc2666d8030f067b964647400ff31e9302d1c7
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions