Add postgresql-simple-url

This commit is contained in:
Oleg Grenrus 2015-07-12 14:55:55 +03:00
parent d5e87e14bd
commit 7c58f403db

View File

@ -843,6 +843,7 @@ packages:
- lattices
- waitra
- spdx
- postgresql-simple-url
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol