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

#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

#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