coq/platform issues and pull requests

#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

#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

#91 - README_Linux.md: Install buildtools: Debian, Ubuntu

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

#91 - README_Linux.md: Install buildtools: Debian, Ubuntu

Issue - State: closed - Opened by CoghettoR 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

#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 about 4 years ago

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

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

#79 - Opam patches: removed local patches for conf-bison and conf-flex (merged upstream)

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

#79 - Opam patches: removed local patches for conf-bison and conf-flex (merged upstream)

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

#78 - Coq Platform master package failures 2021/02

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

#78 - Coq Platform master package failures 2021/02

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

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

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

#76 - Update v8.12

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

#76 - Update v8.12

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

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

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

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

Pull Request - State: closed - Opened by MSoegtropIMC about 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 about 4 years ago

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

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

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

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

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

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

#72 - CI: enable nightly runs

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

#72 - CI: enable nightly runs

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

#71 - Opam remove VST patch (available upstream)

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

#71 - Opam remove VST patch (available upstream)

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

#70 - Gappa: fix source checksum

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

#70 - Gappa: fix source checksum

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

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

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

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

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

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

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

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

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

#67 - Fix gappa

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

#67 - Fix gappa

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

#66 - Compilation experience report

Issue - State: closed - Opened by LasseBlaauwbroek about 4 years ago - 8 comments
Labels: part: documentation, platform: windows

#66 - Compilation experience report

Issue - State: closed - Opened by LasseBlaauwbroek about 4 years ago - 8 comments
Labels: part: documentation, platform: windows

#65 - [snap] add make

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

#65 - [snap] add make

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

#63 - [wish] [snap] source pre downloading

Issue - State: closed - Opened by gares about 4 years ago - 4 comments
Labels: kind: enhancement

#63 - [wish] [snap] source pre downloading

Issue - State: closed - Opened by gares about 4 years ago - 4 comments
Labels: kind: enhancement

#62 - Unreliable download of sources

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

#62 - Unreliable download of sources

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

#61 - Extructures

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

#61 - Extructures

Issue - State: closed - Opened by spitters about 4 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 about 4 years ago - 7 comments
Labels: kind: enhancement

#60 - Coq 8.13 and coq-native

Issue - State: open - Opened by gares about 4 years ago - 7 comments
Labels: kind: enhancement

#59 - Gappa: remove remake patch merged upstream

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

#59 - Gappa: remove remake patch merged upstream

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

#58 - Coq Platform master package failures 2021/01

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago
Labels: kind: upstream tracker

#58 - Coq Platform master package failures 2021/01

Issue - State: closed - Opened by MSoegtropIMC about 4 years ago
Labels: kind: upstream tracker

#57 - Coq V8.13.0

Pull Request - State: closed - Opened by gares about 4 years ago - 1 comment

#57 - Coq V8.13.0

Pull Request - State: closed - Opened by gares about 4 years ago - 1 comment

#56 - remove packages now present upstream

Pull Request - State: closed - Opened by gares about 4 years ago - 3 comments

#56 - remove packages now present upstream

Pull Request - State: closed - Opened by gares about 4 years ago - 3 comments

#55 - Smoke artifact & CI job

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

#55 - Smoke artifact & CI job

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

#54 - CompCert: add back after adjusting Flocq to flocq-3 branch

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

#54 - CompCert: add back after adjusting Flocq to flocq-3 branch

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

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

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

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

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

#52 - CI improvements

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

#52 - CI improvements

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

#51 - Notarize CoqIDE for macOS >= 10.15

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

#50 - [ci] Add dmg package

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

#50 - [ci] Add dmg package

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

#49 - [CI] Add snap package

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

#49 - [CI] Add snap package

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

#48 - workflow for docker and snap

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

#48 - workflow for docker and snap

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

#47 - Extrude artifact filtering code from windows installer

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

#47 - Extrude artifact filtering code from windows installer

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

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

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

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

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

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

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

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

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

#43 - Coq platform on Mac: revisions

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

#43 - Coq platform on Mac: revisions

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

#42 - Fix coq metacoq checker

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

GitHub / coq/platform issues and pull requests