revert to egison-4.0.3

This commit is contained in:
Chris Dornan 2020-10-15 21:10:41 +01:00
parent 02a9991a0a
commit f83a12ab4e

View File

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