on master help sign in
Add spdx
d5e87e1Oleg Grenrus
build-constraints.yaml+1
@@ -842,6 +842,7 @@ packages:
842 - edit-distance
842 - edit-distance
843 - lattices
843 - lattices
844 - waitra
844 - waitra
845+ - spdx
845
846
846 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
847 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
847 - cryptol
848 - cryptol