(lang dune 3.20)
(name reorder)
(generate_opam_files true)
(package
 (name reorder)
 (synopsis "Bounded x86-TSO checking and minimum fence synthesis")
 (depends (ocaml (>= 5.5))))