# A topological sort of the Galois Haskell packages
[
  # Utilities
  "abcBridge"
  "elf-edit"
  "galois-dwarf"
  "binary-symbols"
  "flexdis86"

  "jvm-parser"

  "parameterized-utils"

  # llvm-pretty(-bc-parser)
  "llvm-pretty"
  "llvm-pretty-bc-parser"

  # Crucible
  "what4"
  "crucible"
  "crucible-llvm"
  "aig"
  "crux"
  "crucible-jvm"
  "crux-llvm"

  # Macaw
  "macaw-base"
  "macaw-x86"
  "macaw-symbolic"
  "macaw-x86-symbolic"

  # SAWCore
  "saw-core"
  "crucible-saw"
  "saw-core-what4"
  "saw-core-aig"
  "saw-core-sbv"

  # Cryptol
  "cryptol"
  "cryptol-verifier"

  # JVM
  "jvm-verifier"

  # SAW
  "saw-script"
]
