Merge pull request #2723 from palmskog/itauto-8.18-released

move coq-itauto.8.18.0 to released
coq · Sep 13, 2023 · 3f9749f · 3f9749f
2 parents 921049f + 805e5d1
commit 3f9749f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...ackages/coq-itauto/coq-itauto.8.18.0/opam → ...ackages/coq-itauto/coq-itauto.8.18.0/opam b/...ackages/coq-itauto/coq-itauto.8.18.0/opam → ...ackages/coq-itauto/coq-itauto.8.18.0/opam