~james/reorder

reorder/dune-project -rw-r--r-- 180 bytes
735c0c8f — james chore(import): snapshot james.dad.town/reorder at c27220bf810c 14 hours ago 
                                                                                
1
2
3
4
5
6
7

(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))))