@@ -974,6 +974,12 @@ packages:
974 - universe-instances-trans
974 - universe-instances-trans
975 - universe-reverse-instances
975 - universe-reverse-instances
977+ "Abhinav Gupta <mail@abhinavg.net> @abhinav":
977 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
983 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
978 - cryptol
984 - cryptol