nixpkgs / coqPackages.parsec - Library for serialization to S-expressions

Homepage - https://github.com/liyishuai/coq-parsec

License - MIT

Maintainers - Théo Zimmermann

Releases

0.1.0 (expand/collapse)
From commit 0721aa49 to 00460bd6