diff options
author | Vincent Legoll <vincent.legoll@gmail.com> | 2020-03-16 16:32:25 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-12-08 20:18:11 +0000 |
commit | 20e5658c0471c76cc297cfd30ad49f0585310e27 (patch) | |
tree | 3e430aa32b6d67f38a6ebbbc880d9b0072bed505 /tests/civodul.key | |
parent | 2d1a621b8dc39f7903b47b84c1f8de253ae4fc43 (diff) |
gnu: ocaml-menhir: Update to 20200211.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20200211.
[build-system]: Switch from gnu to dune.
[arguments]: Remove phases and make-flags.
[native-inputs]: Remove field.
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'tests/civodul.key')
0 files changed, 0 insertions, 0 deletions