Uninstall make target no longer depends on all - Githubissues

AU-COBRA / ConCert

A framework for smart contract verification in Coq

MIT License

114 stars 19 forks source link

Uninstall make target no longer depends on all #208

Closed 4ever2 closed 1 year ago