We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: bf76f88065b9abe1f1ab0417cbdd6f63447bb232 authored by Alley Stoughton on 24 November 2020, 16:20:22 UTC
[fix #17390]
Tip revision: bf76f88
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top