-
Notifications
You must be signed in to change notification settings - Fork 49
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
MacOS: command file does not find the correct coqc if one is available via opam
platform: macOS
Specific to macOS
#442
opened Oct 28, 2024 by
MSoegtropIMC
MacOS: check suitability of XCode
platform: macOS
Specific to macOS
#438
opened Oct 15, 2024 by
MSoegtropIMC
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
15 tasks done
Missing Windows 32bit binaries in 2023.11.0 release
part: documentation
Improvements or additions to documentation
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
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
Mention Coq Platform (mostly) compatible debian packages in ReadMe
kind: enhancement
New feature or request
part: documentation
Improvements or additions to documentation
Previous Next
ProTip!
no:milestone will show everything without a milestone.