old_contents: # -*- python -*-
  load("//tools:github.bzl", "github_archive")
  load("//tools:third_party/com_github_robotlocomotion_drake/tools/workspace/pkg_config.bzl", "pkg_config_repository")
  
  def dreal_workspace():
      pkg_config_repository(
          name = "ibex", # LGPL3
          modname = "ibex",
          pkg_config_paths = [
              "/usr/local/opt/ibex@2.6.5/share/pkgconfig",
          ],
      )
      pkg_config_repository(
          name = "nlopt",  # LGPL2 + MIT
          modname = "nlopt",
      )
      github_archive(
          name = "drake_symbolic", # BSD
          repository = "dreal-deps/drake-symbolic",
          commit = "41a25688eeb503fae4ea458f876d4a329b665a09",
          sha256 = "a773ef09e451dfcb36451de548c063e045751c917f61e59aa73ad68ac69ba2c2",
      )
      github_archive(
          name = "spdlog", # MIT
          repository = "gabime/spdlog",
          commit = "1e4f14c78965c4bdb6c4b2917ad06d21ab87e21d",
          sha256 = "056597b3dc00b3de3eee8cc93f0a7ef277abf89330049f705508b3ccefeaeab4",
          build_file = str(Label("//tools:spdlog.BUILD")),
      )
      github_archive(
          name = "fmt", # BSD2
          repository = "fmtlib/fmt",
          commit = "d16c4d20f88c738d79ecec7c355584f7e161e03e",
          sha256 = "dc1830521fcf37ed380473ebd9d73c2bd7824c8eb120567ea900ead24d1196c9",
          build_file = str(Label("//tools:fmt.BUILD")),
      )
      github_archive(
          name = "picosat", # MIT
          repository = "dreal-deps/picosat",
          commit = "b17ad98a29ac64b1e62182e40a01bd616b129418",
          sha256 = "b47f084ae6ac75c7ce921a1930bfa3d2de7c89ff4911d8107ecb1e90d87abdf1",
          build_file = str(Label("//tools:picosat.BUILD")),
      )
  
new_contents: # -*- python -*-
  load("//tools:github.bzl", "github_archive")
  load("//tools:third_party/com_github_robotlocomotion_drake/tools/workspace/pkg_config.bzl", "pkg_config_repository")
  
  def dreal_workspace():
      pkg_config_repository(
          name = "ibex", # LGPL3
          modname = "ibex",
          pkg_config_paths = [
              "/usr/local/opt/ibex@2.6.5/share/pkgconfig",
              "/usr/local/opt/clp/lib/pkgconfig",  # dep of ibex
              "/usr/local/opt/coinutils/lib/pkgconfig",  # dep of clp
          ],
      )
      pkg_config_repository(
          name = "nlopt",  # LGPL2 + MIT
          modname = "nlopt",
      )
      github_archive(
          name = "drake_symbolic", # BSD
          repository = "dreal-deps/drake-symbolic",
          commit = "41a25688eeb503fae4ea458f876d4a329b665a09",
          sha256 = "a773ef09e451dfcb36451de548c063e045751c917f61e59aa73ad68ac69ba2c2",
      )
      github_archive(
          name = "spdlog", # MIT
          repository = "gabime/spdlog",
          commit = "1e4f14c78965c4bdb6c4b2917ad06d21ab87e21d",
          sha256 = "056597b3dc00b3de3eee8cc93f0a7ef277abf89330049f705508b3ccefeaeab4",
          build_file = str(Label("//tools:spdlog.BUILD")),
      )
      github_archive(
          name = "fmt", # BSD2
          repository = "fmtlib/fmt",
          commit = "d16c4d20f88c738d79ecec7c355584f7e161e03e",
          sha256 = "dc1830521fcf37ed380473ebd9d73c2bd7824c8eb120567ea900ead24d1196c9",
          build_file = str(Label("//tools:fmt.BUILD")),
      )
      github_archive(
          name = "picosat", # MIT
          repository = "dreal-deps/picosat",
          commit = "b17ad98a29ac64b1e62182e40a01bd616b129418",
          sha256 = "b47f084ae6ac75c7ce921a1930bfa3d2de7c89ff4911d8107ecb1e90d87abdf1",
          build_file = str(Label("//tools:picosat.BUILD")),
      )
  
subject: Fix up ibex's pkg_config_paths