MathComp-Analysis 1.12.0 requires at least HB 1.8.0 #1687

Closed

Labels

build/continuous integration ⚙️

Milestone

opened

on Jul 19, 2025

analysis/coq-mathcomp-classical.opam

Line 24 in 8afdcc3

"coq-hierarchy-builder" { (>= "1.7.0") }

Metadata

Assignees

No one assigned

Labels

build/continuous integration ⚙️

Type

No type

Projects

No projects

Milestone

1.13.0

Relationships

None yet

Development

No branches or pull requests