diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-12-25 11:43:31 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-12-30 22:12:15 +0100 |
| commit | 1cef2c561f51acc309060855b963892ebf776c36 (patch) | |
| tree | b8ce7df8dbff3c1b0e0c181f7fa61c23b92d8995 /gnu/packages/idris.scm | |
| parent | 571878854c90f3a0546dbaf1dd69223200ac5001 (diff) | |
gnu: Remove ocaml4.07-fmt.
* gnu/packages/ocaml.scm (ocaml4.07-fmt): Remove variable.
(ocaml-fmt)[properties]: Remove variant.
Change-Id: I35d294d764a1e3fd8160a7da9cbd5cab9bea4660
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions