coq-community/gaia issues and pull requests

#21 - normalized metadata

Pull Request - State: closed - Opened by palmskog 6 months ago

#20 - adapt to MC#1256

Pull Request - State: closed - Opened by Tragicus 6 months ago - 1 comment

#19 - bump to Dune 3.5 or later and Dune-Coq 0.6

Pull Request - State: closed - Opened by palmskog 7 months ago

#18 - Adapt to https://github.com/math-comp/math-comp/pull/1223

Pull Request - State: closed - Opened by proux01 8 months ago

#17 - Update CI and fix notation scopes

Pull Request - State: closed - Opened by pi8027 about 1 year ago - 1 comment

#16 - Adapt to https://github.com/math-comp/math-comp/pull/1110

Pull Request - State: closed - Opened by proux01 over 1 year ago

#15 - fix meta.yml and boilerplate for MathComp 2.0, fix deprecations

Pull Request - State: closed - Opened by palmskog over 1 year ago

#14 - fix problems with =Pzero after Coq lexing changes

Pull Request - State: closed - Opened by palmskog over 2 years ago

#13 - Compilation of ssete9 failed (on coq dev)

Issue - State: closed - Opened by Casteran over 2 years ago

#12 - Update CI with mathcomp 1.15

Pull Request - State: closed - Opened by CohenCyril over 2 years ago

#11 - Port to Hierarchy Builder

Pull Request - State: closed - Opened by proux01 over 2 years ago

#10 - allow MathComp 1.14.0 in opam and test in CI

Pull Request - State: closed - Opened by palmskog almost 3 years ago

#9 - split into several packages

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 4 comments

#8 - Add %N for nat constants

Pull Request - State: closed - Opened by proux01 about 3 years ago - 1 comment

#7 - CI for Coq 8.15 and MathComp 1.13

Pull Request - State: closed - Opened by palmskog about 3 years ago

#6 - update opam

Pull Request - State: closed - Opened by CohenCyril over 3 years ago - 6 comments

#5 - check mathcomp 1.12 with 8.14 in CI

Pull Request - State: closed - Opened by palmskog over 3 years ago

#4 - Compilation broken with Coq `master`

Issue - State: closed - Opened by Zimmi48 over 3 years ago - 5 comments

#3 - Prepare for release compatible with Coq 8.13 and 8.14, MathComp 1.12

Pull Request - State: closed - Opened by palmskog over 3 years ago - 2 comments

#2 - add backwards-compatible explicit hint locality to avoid warning in 8.13

Pull Request - State: closed - Opened by palmskog about 4 years ago

#1 - MathComp 1.12.0 is supported

Pull Request - State: closed - Opened by palmskog about 4 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / coq-community/gaia issues and pull requests