Skip to content

Revert "update dune 3.19.1 (#59)" and add opam-repository-archive#60

Merged
haochenx merged 3 commits into
mainfrom
revert-59
Jun 23, 2025
Merged

Revert "update dune 3.19.1 (#59)" and add opam-repository-archive#60
haochenx merged 3 commits into
mainfrom
revert-59

Commits

Commits on Jun 23, 2025