Fix typo

proux01 · proux01 · commit e8d38873755e · 2025-04-29T15:11:20.000+02:00
diff --git a/coq-hierarchy-builder.opam b/coq-hierarchy-builder.opam
@@ -13,4 +13,4 @@ depends: [
   "rocq-hierarchy-builder" {= version}
 ]
 
-synopsis: "Compatibility package for coq-mathcomp-ssreflect"
+synopsis: "Compatibility package for rocq-hierarchy-builder"

Original file line number	Diff line number	Diff line change
`@@ -13,4 +13,4 @@ depends: [`
`13`	`13`	`"rocq-hierarchy-builder" {= version}`
`14`	`14`	`]`
`15`	`15`
`16`		`-synopsis: "Compatibility package for coq-mathcomp-ssreflect"`
	`16`	`+synopsis: "Compatibility package for rocq-hierarchy-builder"`