Issues
- 1
`coq-ext-lib.1.2.1` is blocking repo updates
#2982 opened by ncihnegn - 1
`https://coq.inria.fr/opam/released` is returning 404
#2973 opened by ncihnegn - 1
Race conditions in deployment
#2971 opened by palmskog - 1
Deployed archives not getting updated after 2023-09-11
#2727 opened by palmskog - 1
coq-interval.4.7.0 bounds are not tight enough
#2649 opened by JasonGross - 7
GitHub autogenerated tarballs not considered stable
#2458 opened by palmskog - 14
[RFC] Repository layout for dev packages is problematic, turn `opam-coq-archive` into a single OPAM repository
#2442 opened by ejgallego - 3
COQ_USE_DUNE affects the build of coq through opam
#1736 opened by ana-borges - 4
- 5
- 27
Invalid dune file in json-data CI job
#1995 opened by palmskog - 11
coq 8.14.0 linking error in opam
#1888 opened by lzheng5 - 2
- 5
upstream issue with Iris archives
#1724 opened by gasche - 4
Question about EXTRA_OPAM_OPTION / EXTRA_FLAGS
#1499 opened by erikmd - 1
Extructures
#1580 opened by spitters - 7
coq-vst Flocq version conflict
#1511 opened by vzaliva - 21
- 0
Add a CI job `opam-build:4.07.1:coq-native` (and `opam-build-no-timeout:4.07.1:coq-native`?)
#1498 opened by erikmd - 3
- 11
Could we make coq-ltac2 a dummy package in 8.11 instead of requiring Coq < 8.11?
#1422 opened by cpitclaudel - 12
Flocq bug reports
#1418 opened by liyishuai - 1
Empty descriptions on the package index webpage
#1368 opened by olaure01 - 7
coq-high-school-geometry packages
#1299 opened by CohenCyril - 4
math-comp-field-extra
#1300 opened by CohenCyril - 9
Please update vst to 2.4 version
#940 opened by p3rsik - 2
nix SSL CA problem
#1282 opened by CohenCyril - 4
pyrolise and dune
#1286 opened by gares - 1
- 2
coq-mathcomp-finmap package 1.3.4 and 1.4.0 are incompatible with Coq 8.11.1
#1230 opened by anton-trunov - 19
- 2
- 0
- 5
Criteria for inclusion in the released repo - mark/exclude experimental packages?
#1147 opened by palmskog - 1
Wrong checksum for coq-probhash
#1116 opened by clarus - 0
- 7
coq-menhirlib removed sources
#1110 opened by clarus - 6
- 1
Standard CI builds are using "jobs 1" for OPAM
#1104 opened by palmskog - 1
Track number of installs of packages
#1097 opened by palmskog - 6
OPAM files in extra-dev vs. upstream repository
#995 opened by liyishuai - 8
opam fetches package info from the package's GitHub, not from coq-extra-dev opam repo
#954 opened by anton-trunov - 2
Contribs with Coq 8.10
#1063 opened by clarus - 1
fourcolor package name and directory name don't agree.
#1020 opened by Lysxia - 1
packages depending on conf-time fail on the CI
#994 opened by JasonGross - 9
- 4
Coq-ext-lib dev does not install on 8.9
#939 opened by spitters - 2
- 0
Backport opam fixes to 8.10.dev (and 8.11.dev?)
#944 opened by Blaisorblade - 3
Coq RSA is not available for 8.9
#936 opened by spitters