Merge pull request #1244 from affeldt-aist/mathcomp-1.11.0+beta1

Mathcomp 1.11.0+beta1
coq · Apr 17, 2020 · bd98187 · bd98187
2 parents e5a5ce2 + 89bd80d
commit bd98187
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 0 deletions.
diff --git a/...ra/coq-mathcomp-algebra.1.11.0+beta1/opam → ...ra/coq-mathcomp-algebra.1.11.0+beta1/opam b/...ra/coq-mathcomp-algebra.1.11.0+beta1/opam → ...ra/coq-mathcomp-algebra.1.11.0+beta1/opam
diff --git a/.../coq-mathcomp-character.1.11.0+beta1/opam → .../coq-mathcomp-character.1.11.0+beta1/opam b/.../coq-mathcomp-character.1.11.0+beta1/opam → .../coq-mathcomp-character.1.11.0+beta1/opam
diff --git a/...ield/coq-mathcomp-field.1.11.0+beta1/opam → ...ield/coq-mathcomp-field.1.11.0+beta1/opam b/...ield/coq-mathcomp-field.1.11.0+beta1/opam → ...ield/coq-mathcomp-field.1.11.0+beta1/opam
diff --git a/...p/coq-mathcomp-fingroup.1.11.0+beta1/opam → ...p/coq-mathcomp-fingroup.1.11.0+beta1/opam b/...p/coq-mathcomp-fingroup.1.11.0+beta1/opam → ...p/coq-mathcomp-fingroup.1.11.0+beta1/opam
diff --git a/...e/coq-mathcomp-solvable.1.11.0+beta1/opam → ...e/coq-mathcomp-solvable.1.11.0+beta1/opam b/...e/coq-mathcomp-solvable.1.11.0+beta1/opam → ...e/coq-mathcomp-solvable.1.11.0+beta1/opam
diff --git a/.../coq-mathcomp-ssreflect.1.11.0+beta1/opam → .../coq-mathcomp-ssreflect.1.11.0+beta1/opam b/.../coq-mathcomp-ssreflect.1.11.0+beta1/opam → .../coq-mathcomp-ssreflect.1.11.0+beta1/opam