https://github.com/EasyCrypt/easycrypt
History
Tip revision: 14216cb8d3e30a79d19f3d7da4388487354ffe25 authored by Benjamin Gregoire on 18 April 2021, 14:12 UTC
fix default.nix
Tip revision: 14216cb
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top