diff --git a/build-constraints.yaml b/build-constraints.yaml index 881d3fad..efd21c20 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -974,6 +974,12 @@ packages: - universe-instances-trans - universe-reverse-instances + "Abhinav Gupta @abhinav": + - farmhash + - language-thrift + - pinch + - sandman + "Adam C. Foltzer acfoltzer@galois.com @acfoltzer": - cryptol - gitrev