Last released May 28, 2021
"Script to set up a Coq project dependencies using opam, inspired by Haskell's stack."
Supported by
