Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / math-comp/odd-order issues and pull requests
#11 - Fix for coq/coq#9663
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago
#11 - Fix for coq/coq#9663
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago
#10 - use 4.05 compiler rather than system
Pull Request -
State: closed - Opened by gares about 6 years ago
#10 - use 4.05 compiler rather than system
Pull Request -
State: closed - Opened by gares about 6 years ago
#9 - fix for coq/coq#9341
Pull Request -
State: closed - Opened by gares about 6 years ago
- 1 comment
#9 - fix for coq/coq#9341
Pull Request -
State: closed - Opened by gares about 6 years ago
- 1 comment
#8 - Broken build
Issue -
State: closed - Opened by SkySkimmer about 6 years ago
- 1 comment
#7 - Fix for https://github.com/math-comp/math-comp/pull/253
Pull Request -
State: closed - Opened by anton-trunov about 6 years ago
- 1 comment
#6 - Revert "Fix #4: Build failure with master version of math-comp."
Pull Request -
State: closed - Opened by CohenCyril over 6 years ago
- 1 comment
#5 - Fix #4: Build failure with master version of math-comp.
Pull Request -
State: closed - Opened by ppedrot over 6 years ago
- 4 comments
#4 - Build failure with master version of math-comp
Issue -
State: closed - Opened by vbgl over 6 years ago
- 1 comment
#3 - [opam]: add dev-repo
Pull Request -
State: closed - Opened by anton-trunov over 6 years ago
#2 - Experiments/forms
Pull Request -
State: open - Opened by LaurenceRideau over 6 years ago
#1 - Keep the same package name
Issue -
State: closed - Opened by CohenCyril almost 7 years ago