add persistent-refs

This commit is contained in:
Adam C. Foltzer 2015-04-14 14:06:37 -07:00
parent a80a44d1ab
commit a791e9f6ad

View File

@ -764,6 +764,7 @@ packages:
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol
- gitrev
- persistent-refs
"Luke Taylor tekul.hs@gmail.com @tekul":
- jose-jwt