| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
* feat: Add build for mathcomp/mathcomp-dev:coq-8.10
* fix(coq-mathcomp-ssreflect.opam): Bump coq upper bound
* fix(*.opam): Remove "remove" directive
href: coq/opam-coq-archive#703
|
|
|
|
"""
Failed checks on coq-mathcomp-ssreflect package definition from source
at file:///home/coq/mathcomp/ssreflect:
error 57: Synopsis and description must not be both empty
"""
|
|
* (Update make's path accordingly)
* This patch is required for opam 2.0 pinning
* As a result, these *.opam files are now similar to the opam files in
https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-mathcomp-*/coq-mathcomp-*.dev/
|
