Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq/platform issues and pull requests
#431 - Windows package fixes
Pull Request -
State: closed - Opened by MSoegtropIMC 6 days ago
#430 - Give more detail on creating customized versions
Pull Request -
State: open - Opened by jfehrle 11 days ago
#429 - Add a pick for 8.19.2 with the Ltac2 debugger (preview)
Pull Request -
State: open - Opened by jfehrle 11 days ago
- 2 comments
#428 - Windows: enable long path support in cygwin MinGW toolchain and Windows registry
Pull Request -
State: closed - Opened by MSoegtropIMC 12 days ago
#427 - [2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build
Pull Request -
State: open - Opened by ejgallego 13 days ago
#411 - Package updates
Pull Request -
State: open - Opened by rtetley 5 months ago
#399 - [2023.11] [coq-lsp 0.2.0] [v8.19] Draft Windows build
Pull Request -
State: open - Opened by ejgallego 8 months ago
- 13 comments
#369 - [2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build
Pull Request -
State: open - Opened by ejgallego 12 months ago
#368 - [2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build
Pull Request -
State: open - Opened by ejgallego 12 months ago
- 11 comments
#294 - Document contents of released assets
Issue -
State: closed - Opened by CohenCyril about 5 years ago
- 5 comments
#150 - [wish] opam package for Ltac2 on Coq 8.10 to write code that works on 8.10 and 8.11
Issue -
State: closed - Opened by gares almost 5 years ago
- 12 comments
#149 - Coq installer makes binaries available?
Issue -
State: closed - Opened by mgree over 4 years ago
- 23 comments
#108 - Nightly builds roadmap
Issue -
State: open - Opened by Zimmi48 over 6 years ago
- 66 comments
Labels: part: ci and testing
#97 - Customize scripts for a custom coq-hott-platform
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 8 comments
#97 - Customize scripts for a custom coq-hott-platform
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 8 comments
#96 - A README with `<details><summary>` for the Coq Platform?
Issue -
State: closed - Opened by Zimmi48 over 3 years ago
- 1 comment
Labels: part: documentation, kind: enhancement
#96 - A README with `<details><summary>` for the Coq Platform?
Issue -
State: closed - Opened by Zimmi48 over 3 years ago
- 1 comment
Labels: part: documentation, kind: enhancement
#95 - Quickchick perl script hack failed
Issue -
State: closed - Opened by 4ever2 over 3 years ago
- 10 comments
Labels: platform: windows, needs: prerequisites
#95 - Quickchick perl script hack failed
Issue -
State: closed - Opened by 4ever2 over 3 years ago
- 10 comments
Labels: platform: windows, needs: prerequisites
#94 - coq platform-2021.02: conflicting MacPorts related to gtk3
Issue -
State: closed - Opened by murrayE over 3 years ago
- 9 comments
Labels: platform: macOS
#94 - coq platform-2021.02: conflicting MacPorts related to gtk3
Issue -
State: closed - Opened by murrayE over 3 years ago
- 9 comments
Labels: platform: macOS
#93 - grant coqidetop.top network access
Pull Request -
State: closed - Opened by gares over 3 years ago
#93 - grant coqidetop.top network access
Pull Request -
State: closed - Opened by gares over 3 years ago
#92 - opam-repository-mingw will be discontinued as of Aug 2021
Issue -
State: closed - Opened by Zimmi48 over 3 years ago
- 17 comments
Labels: platform: windows
#92 - opam-repository-mingw will be discontinued as of Aug 2021
Issue -
State: closed - Opened by Zimmi48 over 3 years ago
- 17 comments
Labels: platform: windows
#91 - README_Linux.md: Install buildtools: Debian, Ubuntu
Issue -
State: closed - Opened by CoghettoR over 3 years ago
- 1 comment
#91 - README_Linux.md: Install buildtools: Debian, Ubuntu
Issue -
State: closed - Opened by CoghettoR over 3 years ago
- 1 comment
#90 - CI: adjust to changed branch name
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#90 - CI: adjust to changed branch name
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#89 - Opam patches: removed 'conf-pkg-config.2' - merged upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#89 - Opam patches: removed 'conf-pkg-config.2' - merged upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#88 - fix smoke test for HB
Pull Request -
State: closed - Opened by gares over 3 years ago
- 9 comments
#88 - fix smoke test for HB
Pull Request -
State: closed - Opened by gares over 3 years ago
- 9 comments
#87 - Hierarchy builder: adjust example file paths for smoke test kit
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#87 - Hierarchy builder: adjust example file paths for smoke test kit
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#86 - Add a sort of contents table to the Linux README.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 2 comments
#86 - Add a sort of contents table to the Linux README.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 2 comments
#85 - Charter clean-up after CEP 52.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 9 comments
Labels: part: documentation
#85 - Charter clean-up after CEP 52.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 9 comments
Labels: part: documentation
#84 - Version 2021.02.0
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 3 comments
#84 - Version 2021.02.0
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 3 comments
#83 - rename v8.13 branch to 2021.02
Issue -
State: closed - Opened by gares over 3 years ago
- 8 comments
#83 - rename v8.13 branch to 2021.02
Issue -
State: closed - Opened by gares over 3 years ago
- 8 comments
#82 - Opam cleanup
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 2 comments
#82 - Opam cleanup
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 2 comments
#81 - Release 8.13.1
Pull Request -
State: closed - Opened by gares over 3 years ago
- 28 comments
#81 - Release 8.13.1
Pull Request -
State: closed - Opened by gares over 3 years ago
- 28 comments
#80 - opam conf-pkg-config: fix package name for cygwin
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#80 - opam conf-pkg-config: fix package name for cygwin
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#79 - Opam patches: removed local patches for conf-bison and conf-flex (merged upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#79 - Opam patches: removed local patches for conf-bison and conf-flex (merged upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#78 - Coq Platform master package failures 2021/02
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 2 comments
Labels: kind: upstream tracker
#78 - Coq Platform master package failures 2021/02
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 2 comments
Labels: kind: upstream tracker
#77 - Gappa: set opam patch package from commit to 1.3.5 tag
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#77 - Gappa: set opam patch package from commit to 1.3.5 tag
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#76 - Update v8.12
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#76 - Update v8.12
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#75 - Cygwin32: remove tar patch - seems to be fixed upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#75 - Cygwin32: remove tar patch - seems to be fixed upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
#74 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1 (master branch)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#74 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1 (master branch)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#73 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#73 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#72 - CI: enable nightly runs
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#72 - CI: enable nightly runs
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#71 - Opam remove VST patch (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#71 - Opam remove VST patch (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#70 - Gappa: fix source checksum
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#70 - Gappa: fix source checksum
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#69 - Opam: Remove Elpi package (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#69 - Opam: Remove Elpi package (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#68 - Opam: removed CompCert 3.8 packages (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#68 - Opam: removed CompCert 3.8 packages (available upstream)
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#67 - Fix gappa
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#67 - Fix gappa
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#66 - Compilation experience report
Issue -
State: closed - Opened by LasseBlaauwbroek over 3 years ago
- 8 comments
Labels: part: documentation, platform: windows
#66 - Compilation experience report
Issue -
State: closed - Opened by LasseBlaauwbroek over 3 years ago
- 8 comments
Labels: part: documentation, platform: windows
#65 - [snap] add make
Pull Request -
State: closed - Opened by gares over 3 years ago
#65 - [snap] add make
Pull Request -
State: closed - Opened by gares over 3 years ago
#63 - [wish] [snap] source pre downloading
Issue -
State: closed - Opened by gares over 3 years ago
- 4 comments
Labels: kind: enhancement
#63 - [wish] [snap] source pre downloading
Issue -
State: closed - Opened by gares over 3 years ago
- 4 comments
Labels: kind: enhancement
#62 - Unreliable download of sources
Issue -
State: closed - Opened by gares over 3 years ago
- 1 comment
#62 - Unreliable download of sources
Issue -
State: closed - Opened by gares over 3 years ago
- 1 comment
#61 - Extructures
Issue -
State: closed - Opened by spitters over 3 years ago
- 16 comments
Labels: kind: package inclusion, approval: has maintainer agreement
#61 - Extructures
Issue -
State: closed - Opened by spitters over 3 years ago
- 16 comments
Labels: kind: package inclusion, approval: has maintainer agreement
#60 - Coq 8.13 and coq-native
Issue -
State: open - Opened by gares over 3 years ago
- 7 comments
Labels: kind: enhancement
#60 - Coq 8.13 and coq-native
Issue -
State: open - Opened by gares over 3 years ago
- 7 comments
Labels: kind: enhancement
#59 - Gappa: remove remake patch merged upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#59 - Gappa: remove remake patch merged upstream
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#58 - Coq Platform master package failures 2021/01
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
Labels: kind: upstream tracker
#58 - Coq Platform master package failures 2021/01
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
Labels: kind: upstream tracker
#57 - Coq V8.13.0
Pull Request -
State: closed - Opened by gares over 3 years ago
- 1 comment
#57 - Coq V8.13.0
Pull Request -
State: closed - Opened by gares over 3 years ago
- 1 comment
#56 - remove packages now present upstream
Pull Request -
State: closed - Opened by gares over 3 years ago
- 3 comments
#56 - remove packages now present upstream
Pull Request -
State: closed - Opened by gares over 3 years ago
- 3 comments
#55 - Smoke artifact & CI job
Pull Request -
State: closed - Opened by gares over 3 years ago
- 4 comments
#55 - Smoke artifact & CI job
Pull Request -
State: closed - Opened by gares over 3 years ago
- 4 comments
#54 - CompCert: add back after adjusting Flocq to flocq-3 branch
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#54 - CompCert: add back after adjusting Flocq to flocq-3 branch
Pull Request -
State: closed - Opened by MSoegtropIMC over 3 years ago
#53 - [ci] use download-artifact to find artifact path
Pull Request -
State: closed - Opened by gares over 3 years ago