@@ -974,6 +974,12 @@ packages:
974974 - universe-instances-trans
975975 - universe-reverse-instances
976976
977+ "Abhinav Gupta <mail@abhinavg.net> @abhinav":
978+ - farmhash
979+ - language-thrift
980+ - pinch
981+ - sandman
982+
977983 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
978984 - cryptol
979985 - gitrev