Publishing ITree library for Coq 8.11 on OPAM?

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Closed lastland closed 4 years ago

lastland commented 4 years ago

It looks like the library has already supported Coq 8.11, but the package on OPAM has not updated yet.

Lysxia commented 4 years ago

I just released 3.1.0 for this!