Hi, here is the status of Coq 8.19.1 in Debian - quite a few things are stalled:

- Update Coq [1/7]
- [X] step 1 [2/2]

- [X] elpi 1.18.2-1
- [X] coq 8.19.1+dfsg-1
- [-] step 2 [12/17]

- [X] aac-tactics 8.19.0-1
- [X] coq-bignums 9.0.0+coq8.19-1
- [ ] coq-dpdgraph FAILURE [[https://github.com/coq-community/coq-dpdgraph/issues/130][upstream report]]
- [X] coq-elpi 2.0.2-1
- [X] coq-ext-lib 0.12.1-1
- [ ] coq-hammer FAILURE [[https://github.com/lukaszcz/coqhammer/issues/175][upstream report]]
- [X] coq-hott rebuild
- [X] coq-libhyps rebuild
- [X] coq-menhirlib rebuild
- [X] coq-record-update rebuild
- [X] coq-reduction-effects rebuild
- [ ] coq-stdpp FAILURE [[https://gitlab.mpi-sws.org/iris/stdpp/-/issues/205][upstream report]]
- [ ] coq-unicoq FAILURE [[https://github.com/unicoq/unicoq/issues/90][upstream report]]
- [X] coq-unimath rebuild
- [X] flocq 4.1.4-1
- [ ] ott FAILURE [[https://github.com/ott-lang/ott/issues/105][upstream report]]
- [X] paramcoq 1.1.3+coq8.19-1
- [-] step 3 [5/8]

- [X] coq-equations 1.3-8.19-1
- [X] coq-gappa 1.5.5-1
- [X] coq-hierarchy-builder 1.7.0-1
- [ ] coq-iris WAIT coq-stdpp
- [ ] coq-math-classes FAILURE [[https://github.com/coq-community/math-classes/issues/124][upstream report]]
- [ ] coq-mtac2 WAIT coq-unicoq
- [X] coq-simple-io rebuild
- [X] coqprime rebuild
- [-] step 4 [1/2]

- [X] ssreflect 2.2.0-1
- [ ] coq-corn WAIT coq-math-classes
- [-] step 5 [7/8]

- [X] coq-deriving 0.2.0-2
- [X] coq-reglang rebuild
- [X] coq-relation-algebra rebuild
- [X] coquelicot 3.4.1-2
- [X] mathcomp-bigenough 1.0.1-13
- [ ] mathcomp-finmap FAILURE no report, upstream wip
- [X] mathcomp-zify 1.5.0+2.0+8.16-2
- [X] coq-quickchick rebuild
- [-] step 6 [4/6]

- [X] coq-extructures rebuild
- [X] coq-interval 4.10.0-1
- [X] mathcomp-algebra-tactics rebuild
- [ ] mathcomp-analysis WAIT mathcomp-finmap
- [ ] mathcomp-multinomials WAIT mathcomp-finmap
- [X] mathcomp-real-closed rebuild
- [ ] step 7 [0/1]

- [ ] coqeal 2.0.2-1 WAIT mathcomp-multinomials

@Julien Puydt for mathcomp-finmap, which version have you tried? 2.1.0 should work

@Pierre Roux You're right, I didn't see 2.1.0 was out, let me try

Then , this should indeed get you multinomials, analysis and coqeal

Last updated: Oct 13 2024 at 01:02 UTC