on master help sign in
Merge pull request #4997 from egisatoshi/patch-2

Add mini-egison

commit2e872c2fd559fa20f841f718aeb0e396273c9d4d authorJens Petersen <juhpetersen@gmail.com> dateTue 26 Nov 2019, 13:58 (7 years ago) parenta7e35b8985ee6c
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -4043,6 +4043,7 @@ packages:
40434043
40444044 "Satoshi Egi <egi@egison.org> @egisatoshi":
40454045 - egison
4046+ - mini-egison
40464047
40474048 "Grandfathered dependencies":
40484049 - network