Tag and release coqffi.1.0.0~beta8 - Githubissues

coq-community / coqffi

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

https://coq-community.org/coqffi/

MIT License

35 stars 8 forks source link

Tag and release coqffi.1.0.0~beta8 #92

Closed lthms closed 1 year ago