Merge pull request #1080 from abhinav/patch-1

Add @abhinav packages
This commit is contained in:
Jens Petersen 2015-12-27 22:08:31 +09:00
commit ead209e5a0

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