Skip to content

Issues: coq/opam

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

30 Open 101 Closed
30 Open 101 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Race conditions in deployment
#2971 opened Feb 20, 2024 by palmskog
1
GitHub autogenerated tarballs not considered stable
#2458 opened Jan 30, 2023 by palmskog
7
[RFC] Repository layout for dev packages is problematic, turn opam-coq-archive into a single OPAM repository
#2442 opened Jan 18, 2023 by ejgallego
14
packages with a validate target should have a run-test
#2155 opened Apr 6, 2022 by JasonGross
5
core-dev packages 8.10 and older don't have right dependencies
#1775 opened Jul 20, 2021 by Alizter
4
COQ_USE_DUNE affects the build of coq through opam
#1736 opened Jun 9, 2021 by ana-borges
3
Add a CI job opam-build:4.07.1:coq-native (and opam-build-no-timeout:4.07.1:coq-native?)
#1498 opened Dec 7, 2020 by erikmd
1
math-comp-field-extra
#1300 opened Jun 16, 2020 by CohenCyril
4
Disappearing sources of packages when Inria gforge is shut down end 2020
#1298 opened Jun 14, 2020 by palmskog
21
pyrolise and dune
#1286 opened Jun 10, 2020 by gares
4
nix SSL CA problem
#1282 opened Jun 9, 2020 by CohenCyril
2
Could we make coq-ltac2 a dummy package in 8.11 instead of requiring Coq < 8.11?
#1422 opened May 19, 2020 by cpitclaudel
11
Naming scheme for Coq namespaces used by released packages
#1208 opened Mar 21, 2020 by palmskog
19
Periodically backing up archives (tarballs) for released packages
#1181 opened Mar 1, 2020 by palmskog
Issues with and improvements to the format and content of coq-packages.json
#1158 opened Feb 13, 2020 by palmskog
1
Criteria for inclusion in the released repo - mark/exclude experimental packages?
#1147 opened Feb 5, 2020 by palmskog
5
bigenough dependency for mathcomp-analysis and mathcomp-finmap
#1124 opened Jan 31, 2020 by palmskog
Track number of installs of packages
#1097 opened Jan 16, 2020 by palmskog
1
OPAM files in extra-dev vs. upstream repository
#995 opened Nov 1, 2019 by liyishuai
6
Please update vst to 2.4 version
#940 opened Oct 9, 2019 by p3rsik
9
Remove deprecated fields such as http.
#907 opened Sep 19, 2019 by Zimmi48
Checksum enforcement, banning MD5?
#833 opened Jul 15, 2019 by palmskog
5
Development package version naming conventions
#778 opened Jun 4, 2019 by palmskog
3
Removing remove directive
#703 opened May 17, 2019 by clarus
3
OPAM: try out coq as a compiler
#595 opened Feb 26, 2019 by gares
9
ProTip! Exclude everything labeled bug with -label:bug.