Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / conda-forge/coq-jupyter-feedstock issues and pull requests
#15 - Rebuild for python 3.13
Pull Request -
State: open - Opened by regro-cf-autotick-bot about 1 month ago
- 1 comment
#14 - Rebuild for PyPy3.9
Pull Request -
State: open - Opened by regro-cf-autotick-bot 6 months ago
- 1 comment
#13 - coq-jupyter v1.6.2
Pull Request -
State: open - Opened by regro-cf-autotick-bot 10 months ago
- 1 comment
#12 - Rebuild for python312
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 1 year ago
- 1 comment
#11 - Rebuild for python311
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 2 years ago
- 3 comments
#10 - coq-jupyter v1.6.0
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 3 years ago
- 1 comment
#9 - Rebuild for python310
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 3 years ago
- 1 comment
#8 - Rebuild for pypy37
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 4 years ago
- 2 comments
#7 - Rebuild for python39
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 1 comment
#7 - Rebuild for python39
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 4 years ago
- 1 comment
#6 - Rebuild for pypy
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 4 years ago
- 1 comment
#5 - coq-jupyter v1.5.3
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 5 years ago
- 1 comment
#4 - coq-jupyter v1.5.2
Pull Request -
State: closed - Opened by regro-cf-autotick-bot almost 5 years ago
- 1 comment
#3 - Rebuild for python38
Pull Request -
State: closed - Opened by regro-cf-autotick-bot about 5 years ago
- 1 comment
#2 - Specify version of coq, add maintainer, remove unneeded requirements
Pull Request -
State: closed - Opened by slel over 5 years ago
- 3 comments
#1 - coq-jupyter v1.5.1
Pull Request -
State: closed - Opened by regro-cf-autotick-bot over 5 years ago
- 1 comment