on master help sign in
Merge pull request #534 from acfoltzer/patch-3
36ccc1aMichael Snoyman
build-constraints.yaml+1
@@ -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
766 - gitrev
766 - gitrev
767+ - persistent-refs
767
768
768 "Luke Taylor tekul.hs@gmail.com @tekul":
769 "Luke Taylor tekul.hs@gmail.com @tekul":
769 - jose-jwt
770 - jose-jwt