-
Notifications
You must be signed in to change notification settings - Fork 46
Issues: coq/platform
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
install Coq through opam fails on Arch Linux if ocaml-findlib package is installed
#415
opened May 10, 2024 by
e00E
Tracker issue for 8.19 package tag creation
kind: upstream tracker
Issues to track upstream issues for package failures
#405
opened Mar 18, 2024 by
rtetley
10 of 15 tasks
README incorrectly says there's no binary release for Apple Silicon
kind: bug
Something isn't working
part: documentation
Improvements or additions to documentation
#404
opened Mar 8, 2024 by
tchajed
2023.11.0 on Mac M2: coq-unicoq, coq-relation-algebra fail with seg fault
#403
opened Mar 8, 2024 by
andrew-appel
CI: auto cancel workflow runs on new push to PR branch
kind: enhancement
New feature or request
part: ci and testing
#394
opened Jan 16, 2024 by
MSoegtropIMC
Add coq-tools / coq-bug-minimizer to the platform?
approval: has maintainer agreement
kind: package inclusion
#378
opened Oct 19, 2023 by
JasonGross
Scripts: opam update is done to late - it must be done before switch creation
kind: bug
Something isn't working
part: installation
#374
opened Oct 13, 2023 by
MSoegtropIMC
Tracker issue for 8.18 pick creation
kind: upstream tracker
Issues to track upstream issues for package failures
#372
opened Oct 5, 2023 by
MSoegtropIMC
33 tasks done
Add path length check on root path on Windows (for serapi).
kind: enhancement
New feature or request
platform: windows
Specific to windows
#358
opened Aug 21, 2023 by
MSoegtropIMC
Add coq-autosubst to the platform
approval: has maintainer agreement
kind: package inclusion
#351
opened Jul 12, 2023 by
haselwarter
Add graph-theory core package to the Coq Platform
approval: has maintainer agreement
kind: package inclusion
#349
opened Jun 19, 2023 by
palmskog
Add vscoq-language-server to the platform
approval: has maintainer agreement
kind: package inclusion
#347
opened Jun 15, 2023 by
gares
Coq Platform binary release 2022.09.1 version 8.16 for macOS (Intel) unsupported for macOS 10.14.5; oldest supported is macOS 11
kind: bug
Something isn't working
part: installation
platform: macOS
Specific to macOS
[windows] Platform binaries can't find This will not be worked on
libgmp-10.dll
when called from a native app
solution: wontfix
#333
opened Feb 21, 2023 by
ejgallego
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-30.