From a791e9f6ad84c9352afe3e23db49f8ff4e85ad49 Mon Sep 17 00:00:00 2001 From: "Adam C. Foltzer" Date: Tue, 14 Apr 2015 14:06:37 -0700 Subject: [PATCH] add persistent-refs --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 82bd73d5..e52165c0 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -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