remove egison restrictions

This commit is contained in:
Chris Dornan 2020-10-16 07:24:23 +01:00
parent f83a12ab4e
commit 400baf01c6

View File

@ -4293,9 +4293,9 @@ packages:
"Satoshi Egi <egi@egison.org> @egisatoshi":
- backtracking
- egison < 4.1.0 # https://github.com/egison/egison/issues/248
- egison
- mini-egison
# - sweet-egison
- sweet-egison
- egison-pattern-src
- egison-pattern-src-th-mode