Skip to content

Update opam file following removal of Stdlib dep #41

Update opam file following removal of Stdlib dep

Update opam file following removal of Stdlib dep #41

coq

succeeded Feb 25, 2025 in 47s