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

#435 - Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows

Pull Request - State: closed - Opened by MSoegtropIMC about 2 months ago

#434 - Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows

Pull Request - State: closed - Opened by MSoegtropIMC about 2 months ago

#433 - Fix typo

Pull Request - State: closed - Opened by Yewzir 2 months ago

#431 - Windows package fixes

Pull Request - State: closed - Opened by MSoegtropIMC 2 months ago

#430 - Give more detail on creating customized versions

Pull Request - State: open - Opened by jfehrle 3 months ago

#429 - Add a pick for 8.19.2 with the Ltac2 debugger (preview)

Pull Request - State: open - Opened by jfehrle 3 months ago - 2 comments

#427 - [2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build

Pull Request - State: open - Opened by ejgallego 3 months ago

#426 - Package update 8.19

Pull Request - State: closed - Opened by MSoegtropIMC 4 months ago

#425 - Snap: remove support for snap (too much maintenance effort)

Pull Request - State: closed - Opened by MSoegtropIMC 4 months ago

#421 - Fix coq metacoq template

Pull Request - State: closed - Opened by MSoegtropIMC 5 months ago

#420 - Macos upload build on failure

Pull Request - State: closed - Opened by MSoegtropIMC 5 months ago - 1 comment

#418 - Fix windows CI by packport pr19247

Pull Request - State: closed - Opened by MSoegtropIMC 5 months ago

#417 - Update dune to 3.15.3, update OCaml to 4.14.2

Pull Request - State: closed - Opened by MSoegtropIMC 5 months ago - 2 comments

#411 - Package updates

Pull Request - State: open - Opened by rtetley 7 months ago

#406 - Opam: undo upstream PR https://github.com/ocaml/opam-repository/pull/25484

Pull Request - State: closed - Opened by MSoegtropIMC 8 months ago - 1 comment

#404 - README incorrectly says there's no binary release for Apple Silicon

Issue - State: open - Opened by tchajed 9 months ago - 2 comments
Labels: kind: bug, part: documentation

#402 - MacOS: CI: fix failure of 'pip3 install macpack'

Pull Request - State: closed - Opened by MSoegtropIMC 9 months ago

#399 - [2023.11] [coq-lsp 0.2.0] [v8.19] Draft Windows build

Pull Request - State: open - Opened by ejgallego 10 months ago - 13 comments

#398 - Opam: add windows patch to new lablgtk3.3.1.4

Pull Request - State: closed - Opened by MSoegtropIMC 10 months ago

#395 - CI: fix package pick for snap

Pull Request - State: closed - Opened by MSoegtropIMC 10 months ago

#392 - Prepape 2023.11 3

Pull Request - State: closed - Opened by MSoegtropIMC 11 months ago

#391 - Windows fixes

Pull Request - State: closed - Opened by MSoegtropIMC 11 months ago - 1 comment

#390 - Split mathcomp

Pull Request - State: closed - Opened by MSoegtropIMC about 1 year ago

#389 - Prepare 2023.10 2

Pull Request - State: closed - Opened by MSoegtropIMC about 1 year ago - 1 comment

#369 - [2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build

Pull Request - State: open - Opened by ejgallego about 1 year ago

#368 - [2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build

Pull Request - State: open - Opened by ejgallego about 1 year ago - 11 comments

#363 - Windows: added local opam package for gnu make 4.4.1 (Windows only)

Pull Request - State: closed - Opened by MSoegtropIMC about 1 year ago

#357 - 2023.03 finalise 1

Pull Request - State: closed - Opened by MSoegtropIMC over 1 year ago - 1 comment

#356 - 2023.03 updates

Pull Request - State: closed - Opened by MSoegtropIMC over 1 year ago

#355 - Snap: enabled snap + smoke test

Pull Request - State: closed - Opened by MSoegtropIMC over 1 year ago

#327 - Snap experiments

Pull Request - State: closed - Opened by MSoegtropIMC almost 2 years ago

#308 - Pick dev: temporarily disable/pin failing packages

Pull Request - State: closed - Opened by MSoegtropIMC about 2 years ago

#294 - Document contents of released assets

Issue - State: closed - Opened by CohenCyril over 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 about 5 years ago - 12 comments

#149 - Coq installer makes binaries available?

Issue - State: closed - Opened by mgree almost 5 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 almost 4 years ago - 1 comment

#90 - CI: adjust to changed branch name

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#89 - Opam patches: removed 'conf-pkg-config.2' - merged upstream

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#89 - Opam patches: removed 'conf-pkg-config.2' - merged upstream

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#88 - fix smoke test for HB

Pull Request - State: closed - Opened by gares almost 4 years ago - 9 comments

#88 - fix smoke test for HB

Pull Request - State: closed - Opened by gares almost 4 years ago - 9 comments

#87 - Hierarchy builder: adjust example file paths for smoke test kit

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#87 - Hierarchy builder: adjust example file paths for smoke test kit

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#86 - Add a sort of contents table to the Linux README.

Pull Request - State: closed - Opened by Zimmi48 almost 4 years ago - 2 comments

#86 - Add a sort of contents table to the Linux README.

Pull Request - State: closed - Opened by Zimmi48 almost 4 years ago - 2 comments

#85 - Charter clean-up after CEP 52.

Pull Request - State: closed - Opened by Zimmi48 almost 4 years ago - 9 comments
Labels: part: documentation

#85 - Charter clean-up after CEP 52.

Pull Request - State: closed - Opened by Zimmi48 almost 4 years ago - 9 comments
Labels: part: documentation

#84 - Version 2021.02.0

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 3 comments

#84 - Version 2021.02.0

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 3 comments

#83 - rename v8.13 branch to 2021.02

Issue - State: closed - Opened by gares almost 4 years ago - 8 comments

#83 - rename v8.13 branch to 2021.02

Issue - State: closed - Opened by gares almost 4 years ago - 8 comments

#82 - Opam cleanup

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 2 comments

#82 - Opam cleanup

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 2 comments

#81 - Release 8.13.1

Pull Request - State: closed - Opened by gares almost 4 years ago - 28 comments

#81 - Release 8.13.1

Pull Request - State: closed - Opened by gares almost 4 years ago - 28 comments

#80 - opam conf-pkg-config: fix package name for cygwin

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#80 - opam conf-pkg-config: fix package name for cygwin

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#78 - Coq Platform master package failures 2021/02

Issue - State: closed - Opened by MSoegtropIMC almost 4 years ago - 2 comments
Labels: kind: upstream tracker

#78 - Coq Platform master package failures 2021/02

Issue - State: closed - Opened by MSoegtropIMC almost 4 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 almost 4 years ago

#77 - Gappa: set opam patch package from commit to 1.3.5 tag

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#76 - Update v8.12

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#76 - Update v8.12

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#75 - Cygwin32: remove tar patch - seems to be fixed upstream

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#75 - Cygwin32: remove tar patch - seems to be fixed upstream

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment

#74 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1 (master branch)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#74 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1 (master branch)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#73 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#73 - Cygwin64: revert MinGW 64 binutils to 2.35.1-1

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#72 - CI: enable nightly runs

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#72 - CI: enable nightly runs

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#71 - Opam remove VST patch (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#71 - Opam remove VST patch (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#70 - Gappa: fix source checksum

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#70 - Gappa: fix source checksum

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#69 - Opam: Remove Elpi package (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#69 - Opam: Remove Elpi package (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#68 - Opam: removed CompCert 3.8 packages (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#68 - Opam: removed CompCert 3.8 packages (available upstream)

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago

#67 - Fix gappa

Pull Request - State: closed - Opened by MSoegtropIMC almost 4 years ago