diff --git a/extra-dev/packages/coq-aac-tactics/coq-aac-tactics.8.18.0/opam b/released/packages/coq-aac-tactics/coq-aac-tactics.8.18.0/opam
similarity index 100%
rename from extra-dev/packages/coq-aac-tactics/coq-aac-tactics.8.18.0/opam
rename to released/packages/coq-aac-tactics/coq-aac-tactics.8.18.0/opam