@@ -908,25 +908,42 @@ packages:
908 - aeson-extra
908 - aeson-extra
909 - binary-orphans
909 - binary-orphans
910 - binary-tagged
910 - binary-tagged
913 - edit-distance
911 - edit-distance
914 - lattices
912 - lattices
917 - postgresql-simple-url
913 - postgresql-simple-url
919 - regex-applicative-text
914 - regex-applicative-text
920 - servant-yaml
915 - servant-yaml
923+ # Regex packages by Chris Kuklewicz
923 - universe
941 - universe
924 - universe-base
942 - universe-base
925 - universe-instances-base
943 - universe-instances-base
926 - universe-instances-extended
944 - universe-instances-extended
927 - universe-instances-trans
945 - universe-instances-trans
928 - universe-reverse-instances
946 - universe-reverse-instances
931 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
948 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
932 - cryptol
949 - cryptol