Dune 3.17.2 has vanished

[liyishuai]

docker-base/images.yml

Line 9 in caa184b

DUNE_VERSION: '3.17.2'

Upstream

• x-maintenance-intent run 20250530 ocaml/opam-repository#27977
• Please keep around old versions of dune ocaml/opam-repository#28065

Downstream

• dune is pinned to non-existent versions docker-coq#81
• Potential Bug regarding generated Action Workflow File using Rocq 9.0 templates#137
• Broken CI QuickChick/QuickChick#407