@@ -764,6 +764,7 @@ packages:
764 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
764 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
765 - cryptol
765 - cryptol
768 "Luke Taylor tekul.hs@gmail.com @tekul":
769 "Luke Taylor tekul.hs@gmail.com @tekul":
769 - jose-jwt
770 - jose-jwt