coq package is incapable of building plugins
Package Information
- Package name: coq
- Package version:
apk info
does not list package versions, see here - Alpine version: Alpine version from
/etc/alpine-release
(Will edit in once CI finishes) - Alpine architecture: Architecture obtained via
apk --print-arch
(Will edit in once CI finishes)
Summary
The coq
package needs to be rebuilt on top of the latest ocaml
package, since the current version is incapable of loading plugins, erroring with "Error: Dynlink error: implementation mismatch on Stdlib__List", see here
Steps to reproduce
Clone https://github.com/mit-plv/rewriter, run make