Add @abhinav packages

This commit is contained in:
Abhinav Gupta 2015-12-26 22:55:05 -08:00
parent f014563fc0
commit 46e24ebd4b

View File

@ -974,6 +974,12 @@ packages:
- universe-instances-trans
- universe-reverse-instances
"Abhinav Gupta <mail@abhinavg.net> @abhinav":
- farmhash
- language-thrift
- pinch
- sandman
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol
- gitrev