Merge pull request #2722 from palmskog/paramcoq-8.18-released

move coq-paramcoq.1.1.3+coq8.18 to released
coq · Sep 13, 2023 · 7f9497f · 7f9497f
2 parents 35ab5f8 + aa18aae
commit 7f9497f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...-paramcoq/coq-paramcoq.1.1.3+coq8.18/opam → ...-paramcoq/coq-paramcoq.1.1.3+coq8.18/opam b/...-paramcoq/coq-paramcoq.1.1.3+coq8.18/opam → ...-paramcoq/coq-paramcoq.1.1.3+coq8.18/opam