Skip to content

Merge pull request #40 from coq-community/fix-deprec #32

Merge pull request #40 from coq-community/fix-deprec

Merge pull request #40 from coq-community/fix-deprec #32