CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

changed sedlex

Browse Source
This commit is contained in:
lIlIlIlIIIIlIIIllIIlIllIIllIII 2022-06-06 11:46:21 +02:00
parent 6d5c666cda
commit 9db9db5421
No known key found for this signature in database
GPG Key ID: 0D4F3CEF398F7CC0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.nix/catala.nix
View File

@ -3,7 +3,7 @@
, fetchFromGitHub
, buildDunePackage
, ansiterminal
, sedlex_2
, sedlex
, menhir
, unionfind
, bindlib
@ -39,7 +39,7 @@ buildDunePackage rec {
propagatedBuildInputs = [
ansiterminal
sedlex_2
sedlex
menhir
menhirLib
cmdliner_1_1_0