@@ -842,6 +842,8 @@ packages:
842 - edit-distance
842 - edit-distance
843 - lattices
843 - lattices
846+ - postgresql-simple-url
846 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
848 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
847 - cryptol
849 - cryptol