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

#464 - 2025.01 prep 9

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

#463 - 2025.01 prep 8

Pull Request - State: closed - Opened by MSoegtropIMC 7 days ago

#462 - 2025.01 prep 7

Pull Request - State: closed - Opened by MSoegtropIMC 12 days ago

#460 - More rocqide renaming

Pull Request - State: closed - Opened by SkySkimmer 23 days ago

#459 - Temporarily allow test version of cygwin (should fix hangs)

Pull Request - State: closed - Opened by MSoegtropIMC 23 days ago

#458 - Temporarily allow test version of cygwin (should fix hangs)

Pull Request - State: closed - Opened by MSoegtropIMC 23 days ago

#457 - Renaming coqide -> rocqide

Pull Request - State: closed - Opened by proux01 24 days ago

#456 - Adapt to https://github.com/coq/coq/pull/20036

Pull Request - State: closed - Opened by proux01 25 days ago - 7 comments

#455 - Add autosubst-ocaml to the Coq Platform

Issue - State: open - Opened by palmskog about 1 month ago - 2 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#454 - 2025.01 prep 6

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

#453 - 2025.01 prep 5

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

#452 - 2025.01 prep 4

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

#451 - 2025.01 preparation 3: Windows fixes

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

#450 - Pick 8.20~2025.01: first preview with all packages that work as is

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

#449 - Tracker issue for 8.20 package tag creation

Issue - State: open - Opened by MSoegtropIMC 2 months ago
Labels: kind: upstream tracker

#448 - Prepare bug-fix release to adjust to opam 2.3.0

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

#447 - Fixed minor Typo in MacOS installation doc

Pull Request - State: closed - Opened by caelum02 2 months ago - 1 comment

#446 - Give more detail on creating customized versions

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

#445 - Opam: add back 'extra-files' field for opam 2.3.0

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

#444 - Removing parts of the readme referring to apple silicon

Pull Request - State: closed - Opened by rtetley 3 months ago

#444 - Removing parts of the readme referring to apple silicon

Pull Request - State: closed - Opened by rtetley 3 months ago

#443 - Doc: remove the 'release in progress' note

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

#443 - Doc: remove the 'release in progress' note

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

#442 - MacOS: command file does not find the correct coqc if one is available via opam

Issue - State: open - Opened by MSoegtropIMC 3 months ago
Labels: platform: macOS

#442 - MacOS: command file does not find the correct coqc if one is available via opam

Issue - State: open - Opened by MSoegtropIMC 3 months ago
Labels: platform: macOS

#441 - Editor context painting for Axiom wrong

Issue - State: closed - Opened by Iainmon 4 months ago - 1 comment

#441 - Editor context painting for Axiom wrong

Issue - State: closed - Opened by Iainmon 4 months ago - 1 comment

#439 - MacOS: coqide is complied with wrong deployment target

Issue - State: closed - Opened by MSoegtropIMC 4 months ago
Labels: platform: macOS

#439 - MacOS: coqide is complied with wrong deployment target

Issue - State: closed - Opened by MSoegtropIMC 4 months ago
Labels: platform: macOS

#438 - MacOS: check suitability of XCode

Issue - State: open - Opened by MSoegtropIMC 4 months ago
Labels: platform: macOS

#438 - MacOS: check suitability of XCode

Issue - State: open - Opened by MSoegtropIMC 4 months ago
Labels: platform: macOS

#437 - Added more details on release process to maintainer_doc/release_process.md

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

#437 - Added more details on release process to maintainer_doc/release_process.md

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

#436 - Prepare release 2024.10

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

#436 - Prepare release 2024.10

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

#433 - Fix typo

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

#431 - Windows package fixes

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

#430 - Give more detail on creating customized versions

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

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

Pull Request - State: closed - Opened by jfehrle 5 months ago - 11 comments

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

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

#426 - Package update 8.19

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

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

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

#423 - Add Tactician to the platform

Pull Request - State: open - Opened by LasseBlaauwbroek 7 months ago - 23 comments

#421 - Fix coq metacoq template

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

#420 - Macos upload build on failure

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

#418 - Fix windows CI by packport pr19247

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

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

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

#411 - Package updates

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

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

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

#405 - Tracker issue for 8.19 package tag creation

Issue - State: closed - Opened by rtetley 11 months ago - 1 comment
Labels: kind: upstream tracker

#405 - Tracker issue for 8.19 package tag creation

Issue - State: open - Opened by rtetley 11 months ago
Labels: kind: upstream tracker

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

Issue - State: closed - Opened by tchajed 11 months ago - 4 comments
Labels: kind: bug, part: documentation

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

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

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

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

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

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

#395 - CI: fix package pick for snap

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

#392 - Prepape 2023.11 3

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

#391 - Windows fixes

Pull Request - State: closed - Opened by MSoegtropIMC about 1 year 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

#372 - Tracker issue for 8.18 pick creation

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago
Labels: kind: upstream tracker

#372 - Tracker issue for 8.18 pick creation

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago
Labels: kind: upstream tracker

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

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

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

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

#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

#348 - add vscoq language server

Pull Request - State: open - Opened by gares over 1 year ago - 8 comments

#347 - Add vscoq-language-server to the platform

Issue - State: closed - Opened by gares over 1 year ago - 5 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#327 - Snap experiments

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

#313 - snap: switch to base core20

Pull Request - State: closed - Opened by gares about 2 years ago - 21 comments

#310 - [do not merge] math-comp-school-2022

Pull Request - State: closed - Opened by gares about 2 years ago - 25 comments

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

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

#302 - Add SMTCoq to Coq Platform

Issue - State: open - Opened by ckeller over 2 years ago - 39 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#294 - Document contents of released assets

Issue - State: closed - Opened by CohenCyril over 5 years ago - 5 comments

#177 - SSProve

Issue - State: open - Opened by spitters about 3 years ago - 22 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#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 over 5 years ago - 12 comments

#149 - Coq installer makes binaries available?

Issue - State: closed - Opened by mgree about 5 years ago - 23 comments

#108 - Nightly builds roadmap

Issue - State: open - Opened by Zimmi48 almost 7 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 almost 4 years ago - 8 comments

#97 - Customize scripts for a custom coq-hott-platform

Pull Request - State: closed - Opened by mattam82 almost 4 years ago - 8 comments

#96 - A README with `<details><summary>` for the Coq Platform?

Issue - State: closed - Opened by Zimmi48 almost 4 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 almost 4 years ago - 1 comment
Labels: part: documentation, kind: enhancement

#95 - Quickchick perl script hack failed

Issue - State: closed - Opened by 4ever2 almost 4 years ago - 10 comments
Labels: platform: windows, needs: prerequisites

#95 - Quickchick perl script hack failed

Issue - State: closed - Opened by 4ever2 almost 4 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 almost 4 years ago - 9 comments
Labels: platform: macOS

#94 - coq platform-2021.02: conflicting MacPorts related to gtk3

Issue - State: closed - Opened by murrayE almost 4 years ago - 9 comments
Labels: platform: macOS

#93 - grant coqidetop.top network access

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

#93 - grant coqidetop.top network access

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

#92 - opam-repository-mingw will be discontinued as of Aug 2021

Issue - State: closed - Opened by Zimmi48 almost 4 years ago - 17 comments
Labels: platform: windows