nixpkgs / coqPackages.metalib -

Homepage - https://github.com/plclub/metalib

License - MIT

Maintainers - John Wiegley

Outputs

out (expand/collapse)

Releases

20200527 (expand/collapse)
From commit 008de9ca to 00460bd6
8.8-20170713 (expand/collapse)
From commit 03b9bc9e to 0767de3d