We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: 8ce5c7ad9c68d55e67c96c46a7fc35746c3e6710 authored by Pierre Boutry on 02 September 2022, 14:10:48 UTC
Merge branch 'deploy-oldlibs-cleanup' of github.com:EasyCrypt/easycrypt into deploy-oldlibs-cleanup
Tip revision: 8ce5c7a
File Mode Size
tests.config -rw-r--r-- 326 bytes

back to top