Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / conda-forge/coq-feedstock issues and pull requests
#19 - coq v8.14.0
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 2 years ago
- 2 comments
#19 - coq v8.14.0
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 2 years ago
- 2 comments
#18 - coq v8.13.2
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 1 comment
#18 - coq v8.13.2
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 1 comment
#17 - coq v8.13.1
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 2 comments
Labels: automerge
#17 - coq v8.13.1
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 2 comments
Labels: automerge
#16 - coq v8.13.0
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 9 comments
#16 - coq v8.13.0
Pull Request -
State: open - Opened by regro-cf-autotick-bot over 3 years ago
- 9 comments
#15 - coq v8.12.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 3 years ago
- 3 comments
Labels: automerge
#15 - coq v8.12.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 3 years ago
- 3 comments
Labels: automerge
#14 - coq v8.12.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 3 years ago
- 5 comments
#14 - coq v8.12.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 3 years ago
- 5 comments
#13 - coq v8.12.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 4 years ago
- 1 comment
#13 - coq v8.12.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 4 years ago
- 1 comment
#12 - coq v8.11.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 1 comment
#12 - coq v8.11.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 1 comment
#11 - coq v8.11.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 2 comments
Labels: automerge
#11 - coq v8.11.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 2 comments
Labels: automerge
#10 - Since Coq 8.10, camlp5 is not anymore a dependency.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
- 3 comments
#10 - Since Coq 8.10, camlp5 is not anymore a dependency.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
- 3 comments
#9 - coq v8.11.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#9 - coq v8.11.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#8 - coq v8.10.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#8 - coq v8.10.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#7 - coq v8.10.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#7 - coq v8.10.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#6 - coq v8.10.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#6 - coq v8.10.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#5 - Try conda-build 3.18.x
Pull Request -
State: closed - Opened by conda-forge-linter almost 5 years ago
- 1 comment
#5 - Try conda-build 3.18.x
Pull Request -
State: closed - Opened by conda-forge-linter almost 5 years ago
- 1 comment
#4 - @conda-forge-admin, rerender
Issue -
State: closed - Opened by isuruf almost 5 years ago
- 1 comment
#4 - @conda-forge-admin, rerender
Issue -
State: closed - Opened by isuruf almost 5 years ago
- 1 comment
#3 - Fix license in meta.yaml
Pull Request -
State: closed - Opened by slel about 5 years ago
- 3 comments
#3 - Fix license in meta.yaml
Pull Request -
State: closed - Opened by slel about 5 years ago
- 3 comments
#2 - Package license is incorrect.
Issue -
State: closed - Opened by Zimmi48 about 5 years ago
- 3 comments
#1 - coq v8.9.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 5 years ago
- 2 comments