coq/platform issues and pull requests

#53 - [ci] use download-artifact to find artifact path

Pull Request - State: closed - Opened by gares over 3 years ago

#52 - CI improvements

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

#52 - CI improvements

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

#51 - Notarize CoqIDE for macOS >= 10.15

Issue - State: open - Opened by Blaisorblade about 4 years ago - 4 comments
Labels: platform: macOS

#50 - [ci] Add dmg package

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

#50 - [ci] Add dmg package

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

#49 - [CI] Add snap package

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

#49 - [CI] Add snap package

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

#48 - workflow for docker and snap

Issue - State: closed - Opened by gares almost 4 years ago - 1 comment

#48 - workflow for docker and snap

Issue - State: closed - Opened by gares almost 4 years ago - 1 comment

#47 - Extrude artifact filtering code from windows installer

Issue - State: closed - Opened by gares almost 4 years ago - 4 comments
Labels: kind: cleanup

#47 - Extrude artifact filtering code from windows installer

Issue - State: closed - Opened by gares almost 4 years ago - 4 comments
Labels: kind: cleanup

#46 - [ci] GH actions for windows, linux and osx

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

#46 - [ci] GH actions for windows, linux and osx

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

#45 - Paths given to the Windows setup script strip back slashes

Issue - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#45 - Paths given to the Windows setup script strip back slashes

Issue - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#44 - [wip] script to copy Coq's CI info into the platform

Pull Request - State: open - Opened by gares almost 4 years ago - 24 comments

#44 - [wip] script to copy Coq's CI info into the platform

Pull Request - State: open - Opened by gares almost 4 years ago - 24 comments

#43 - Coq platform on Mac: revisions

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

#43 - Coq platform on Mac: revisions

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

#42 - Fix coq metacoq checker

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

#42 - Fix coq metacoq checker

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

#41 - Warning on non-existing opam repo

Issue - State: closed - Opened by fakusb almost 4 years ago - 3 comments

#41 - Warning on non-existing opam repo

Issue - State: closed - Opened by fakusb almost 4 years ago - 3 comments

#40 - missed dependency checks? (autoconf and automake)

Issue - State: closed - Opened by dnaumann almost 4 years ago - 2 comments
Labels: kind: opam package issue

#40 - missed dependency checks? (autoconf and automake)

Issue - State: closed - Opened by dnaumann almost 4 years ago - 2 comments
Labels: kind: opam package issue

#39 - Add csdp to the Coq Platform

Issue - State: open - Opened by palmskog almost 4 years ago - 27 comments
Labels: needs: help, platform: windows, kind: package inclusion, platform: macOS, needs: prerequisites, needs: retest

#39 - Add csdp to the Coq Platform

Issue - State: open - Opened by palmskog almost 4 years ago - 27 comments
Labels: needs: help, platform: windows, kind: package inclusion, platform: macOS, needs: prerequisites, needs: retest

#38 - Cygwin installation: The system cannot find the path specified.

Issue - State: closed - Opened by yforster almost 4 years ago - 1 comment
Labels: platform: windows

#38 - Cygwin installation: The system cannot find the path specified.

Issue - State: closed - Opened by yforster almost 4 years ago - 1 comment
Labels: platform: windows

#37 - Error running the installer script

Issue - State: closed - Opened by Agnishom almost 4 years ago - 3 comments
Labels: part: installation

#37 - Error running the installer script

Issue - State: closed - Opened by Agnishom almost 4 years ago - 3 comments
Labels: part: installation

#36 - How to make the documentation more user-friendly

Issue - State: closed - Opened by andrew-appel almost 4 years ago - 2 comments
Labels: part: documentation

#36 - How to make the documentation more user-friendly

Issue - State: closed - Opened by andrew-appel almost 4 years ago - 2 comments
Labels: part: documentation

#35 - Documentation has references to github.com/MSoegtropIMC

Issue - State: closed - Opened by andrew-appel almost 4 years ago - 1 comment
Labels: part: documentation

#35 - Documentation has references to github.com/MSoegtropIMC

Issue - State: closed - Opened by andrew-appel almost 4 years ago - 1 comment
Labels: part: documentation

#34 - Windows: add option to compile OCaml from sources

Issue - State: open - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#34 - Windows: add option to compile OCaml from sources

Issue - State: open - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#33 - Windows: cygwin folder is not relacatable because .bash_profile contains absolute windows path

Issue - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#33 - Windows: cygwin folder is not relacatable because .bash_profile contains absolute windows path

Issue - State: closed - Opened by MSoegtropIMC almost 4 years ago - 1 comment
Labels: platform: windows

#32 - Please include the reduction-effects plugin in the standard install

Issue - State: closed - Opened by JasonGross over 5 years ago - 17 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#31 - Include CoRN in the platform

Issue - State: closed - Opened by VincentSe over 4 years ago - 9 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#30 - [meta] snap package

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

#29 - Change license from LGPL2.1+ to CC0

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

#29 - Change license from LGPL2.1+ to CC0

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

#28 - Add CoqPrime to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: prerequisites

#28 - Add CoqPrime to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: prerequisites

#27 - Add CoqEAL to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 8 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#27 - Add CoqEAL to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 8 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#26 - Add Unicoq

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago - 6 comments
Labels: kind: package inclusion

#26 - Add Unicoq

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago - 6 comments
Labels: kind: package inclusion

#25 - Add MathComp Multinomials to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 15 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#25 - Add MathComp Multinomials to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 15 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#24 - Add Mtac2

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago - 3 comments
Labels: kind: package inclusion

#24 - Add Mtac2

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago - 3 comments
Labels: kind: package inclusion

#23 - Some notes and unresolved questions on dependencies.

Pull Request - State: closed - Opened by Zimmi48 about 4 years ago

#23 - Some notes and unresolved questions on dependencies.

Pull Request - State: closed - Opened by Zimmi48 about 4 years ago

#22 - Version naming of Coq Platform releases

Issue - State: closed - Opened by palmskog about 4 years ago - 15 comments
Labels: part: policy

#22 - Version naming of Coq Platform releases

Issue - State: closed - Opened by palmskog about 4 years ago - 15 comments
Labels: part: policy

#21 - Add MathComp Analysis to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 7 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: smoke test fix

#21 - Add MathComp Analysis to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 7 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: smoke test fix

#20 - installation failed

Issue - State: closed - Opened by dnaumann about 4 years ago - 2 comments
Labels: part: installation, platform: macOS

#20 - installation failed

Issue - State: closed - Opened by dnaumann about 4 years ago - 2 comments
Labels: part: installation, platform: macOS

#19 - Refine charter / add unresolved questions.

Pull Request - State: closed - Opened by Zimmi48 about 4 years ago

#19 - Refine charter / add unresolved questions.

Pull Request - State: closed - Opened by Zimmi48 about 4 years ago

#18 - Add Regular Language Representations to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 6 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#18 - Add Regular Language Representations to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 6 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#17 - Add coq2html to the Coq Platform

Issue - State: open - Opened by palmskog about 4 years ago - 10 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#17 - Add coq2html to the Coq Platform

Issue - State: open - Opened by palmskog about 4 years ago - 10 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#16 - Add Ott and its Coq library to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 32 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#16 - Add Ott and its Coq library to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 32 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#15 - Add Paramcoq to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 2 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#15 - Add Paramcoq to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 2 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#14 - Add Math Classes to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 3 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#14 - Add Math Classes to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 3 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#13 - Add SerAPI to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 19 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: dependency downgrade fix

#13 - Add SerAPI to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 19 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: dependency downgrade fix

#12 - Add coq-dpdgraph to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#12 - Add coq-dpdgraph to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 20 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#11 - Add Dune to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 35 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: discussion

#11 - Add Dune to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 35 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: discussion

#10 - Add CoqHammer (and ATPs) to the Coq Platform

Issue - State: closed - Opened by palmskog about 4 years ago - 21 comments
Labels: kind: package inclusion, needs: maintainer agreement, needs: cross platform fix

#9 - Add Quickchick

Issue - State: closed - Opened by spitters about 4 years ago - 2 comments

#8 - Coq platform alpha 1 (Windows and macOS)

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

#7 - HoTT

Issue - State: closed - Opened by spitters about 4 years ago - 10 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#6 - Add record-update

Issue - State: closed - Opened by tchajed about 4 years ago - 6 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#5 - Coq-Elpi (& hierarchy-builder)

Issue - State: closed - Opened by gares about 4 years ago - 22 comments
Labels: kind: package inclusion, approval: has maintainer agreement

#4 - Make Iris and std++ part of the Coq platform

Issue - State: closed - Opened by RalfJung about 4 years ago - 30 comments
Labels: kind: package inclusion, approval: has maintainer agreement, needs: smoke test fix

#3 - List of supported packages

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

#2 - Coq platform for research artifact evaluation

Issue - State: open - Opened by palmskog over 4 years ago - 22 comments
Labels: part: advertising

#1 - Fix typos in platform charter.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

GitHub / coq/platform issues and pull requests