Add recipe for cryptol - Githubissues

eclipse-che / che-dockerfiles

Eclipse Public License 2.0

86 stars 107 forks source link

Open zacharysang opened 6 years ago

zacharysang commented 6 years ago

It would be nice to have a recipe including basic tooling for cryptol!