This commit is contained in:
Oleg Grenrus 2015-07-12 14:50:31 +03:00
parent de58abb758
commit d5e87e14bd

View File

@ -842,6 +842,7 @@ packages:
- edit-distance
- lattices
- waitra
- spdx
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol