Skip to content

Fix especialize (backward incompatible with 2.x)

Choose a tag to compare

View all tags
@Matafou Matafou released this 19 Dec 14:44
· 39 commits to master since this release
3.0.1
4503113 
3.0.1

udpate opam file to support coq-8.21~
Assets 2
Loading