https://github.com/EasyCrypt/easycrypt
Revision 21354f77fdc1aed7f49fe665327dae3fde6868a7 authored by Cyril Cohen on 08 April 2020, 15:21:04 UTC, committed by Cyril Cohen on 08 April 2020, 15:23:25 UTC
1 parent 149b09f
History
Tip revision: 21354f77fdc1aed7f49fe665327dae3fde6868a7 authored by Cyril Cohen on 08 April 2020, 15:21:04 UTC
default.nix: adding installFlags
Tip revision: 21354f7

back to top