Rename package to follow the convention

shilangyu · shilangyu · commit 49a632571af4 · 2026-03-20T11:50:01.000+01:00
diff --git a/dune b/dune
@@ -1,5 +1,5 @@
 (rocq.theory
  (name StrictOrderSolver)
- (package strict_order_solver)
+ (package strict-order-solver)
  (generate_project_file)
  (theories Ltac2 Stdlib))
diff --git a/dune-project b/dune-project
@@ -1,6 +1,6 @@
 (lang dune 3.22)
 
-(name strict_order_solver)
+(name strict-order-solver)
 
 (generate_opam_files true)
 
@@ -13,7 +13,7 @@
 (license MIT)
 
 (package
- (name strict_order_solver)
+ (name strict-order-solver)
  (synopsis "Complete solver for strict orders (transitive and irreflexive relations) for Rocq")
  (depends
   (rocq-core (>= 9.0.0))
diff --git a/strict-order-solver.opam b/strict-order-solver.opam
