CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

add menhirlib to dependencies

Browse Source
This commit is contained in:
Jacob Chvatal 2021-11-28 12:33:00 -05:00
parent dde455c560
commit d65bf985d9
No known key found for this signature in database
GPG Key ID: 44A013308B666F1D
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
default.nix
View File

@ -1,5 +1,5 @@
{ lib, fetchFromGitHub, buildDunePackage, ansiterminal, sedlex_2, menhir
, unionfind, bindlib, cmdliner, re, zarith, zarith_stubs_js, ocamlgraph
, menhirLib, unionfind, bindlib, cmdliner, re, zarith, zarith_stubs_js, ocamlgraph
, calendar, visitors, benchmark, js_of_ocaml, js_of_ocaml-ppx, camomile, cppo }:
buildDunePackage rec {
@ -16,6 +16,7 @@ buildDunePackage rec {
ansiterminal
sedlex_2
menhir
menhirLib
cmdliner
re
zarith