Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / impermeable/waterproof-dependencies-installer issues and pull requests

#16 - Lsp 0.2.0+8.17

Pull Request - State: open - Opened by M-J-V 4 months ago

#16 - Lsp 0.2.0+8.17

Pull Request - State: open - Opened by M-J-V 4 months ago

#15 - 2.1.0+8.17

Pull Request - State: open - Opened by M-J-V 6 months ago

#14 - 2.1.1+8.18

Pull Request - State: open - Opened by M-J-V 6 months ago

#14 - 2.1.1+8.18

Pull Request - State: open - Opened by M-J-V 6 months ago

#13 - Update to Coq 8.16

Pull Request - State: open - Opened by davidot about 2 years ago

#13 - Update to Coq 8.16

Pull Request - State: open - Opened by davidot about 2 years ago

#12 - Print some versions to check coq is installed

Pull Request - State: open - Opened by davidot over 2 years ago

#12 - Print some versions to check coq is installed

Pull Request - State: open - Opened by davidot over 2 years ago

#11 - Try a newer coq-platform + coq version

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

#10 - Macos Init

Pull Request - State: open - Opened by M-J-V over 2 years ago

#9 - Update Linux Branch

Pull Request - State: closed - Opened by M-J-V over 2 years ago

#8 - Sign the installers

Pull Request - State: closed - Opened by davidot almost 3 years ago

#7 - fix gmp dependency?

Pull Request - State: closed - Opened by SeanMcCarren almost 3 years ago - 1 comment

#6 - Update to new version of coq platform and coq itself

Pull Request - State: closed - Opened by davidot almost 3 years ago

#5 - Remove installation location

Issue - State: open - Opened by SeanMcCarren about 3 years ago - 1 comment

#4 - Set version of coq-platform to old version that worked

Pull Request - State: closed - Opened by SeanMcCarren about 3 years ago - 1 comment

#3 - Add Linux installer

Pull Request - State: open - Opened by SeanMcCarren over 3 years ago

#2 - Output differences if test is failing

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

#1 - Don't merge

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