From 9095f7280e71bcb86f886ca8fb6913ec054a69c7 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 29 Aug 2026 17:40:01 +0000 Subject: [PATCH] Fix typo in the coq-mathcomp-dioid compatibility shim The shim depended on rocq-mathcomp-diod, which does not exist, so coq-mathcomp-dioid was unsatisfiable: opam's only way to resolve it was to remove the package. Introduced in 1946231 (#1). Co-Authored-By: Claude Opus 5 --- coq-mathcomp-dioid.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq-mathcomp-dioid.opam b/coq-mathcomp-dioid.opam index be8990a..607188b 100644 --- a/coq-mathcomp-dioid.opam +++ b/coq-mathcomp-dioid.opam @@ -11,6 +11,6 @@ license: "CECILL-B" depends: [ "coq-core" - "rocq-mathcomp-diod" + "rocq-mathcomp-dioid" ] synopsis: "Compatibility package for rocq-mathcomp-dioid"