Packages with the re use flag

sci-mathematics / why3 : Platform for deductive program verification

  • Use Re (dev-ml/re) instead of Str for regular expressions