Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/coq-dpdgraph issues and pull requests
#12 - Allow specifying graphname
Pull Request -
State: closed - Opened by JasonGross over 7 years ago
- 1 comment
#11 - coq 8.6 compatibility
Issue -
State: closed - Opened by vzaliva over 7 years ago
- 2 comments
#10 - The configure script is missing
Issue -
State: closed - Opened by Timothy-G-Griffin almost 8 years ago
- 2 comments
#9 - How to prevent opam from installing Coq?
Issue -
State: closed - Opened by georgydunaev over 8 years ago
- 1 comment
#8 - make: *** No rule to make target 'test'. Stop.
Issue -
State: closed - Opened by georgydunaev over 8 years ago
- 3 comments
#7 - make install fails: no setting for BINDIR
Issue -
State: closed - Opened by jonleivent over 8 years ago
- 5 comments
#6 - polymorphism + primitive projections + independence from date in tests
Pull Request -
State: closed - Opened by ybertot over 8 years ago
- 2 comments
#5 - Add dpdusage from vzaliva
Pull Request -
State: closed - Opened by Karmaki over 8 years ago
#4 - dpdusage utility
Pull Request -
State: closed - Opened by vzaliva over 8 years ago
- 3 comments
#3 - Minimal instructions?
Issue -
State: closed - Opened by cpitclaudel over 8 years ago
- 6 comments
#2 - Problem with universe polymorphism
Issue -
State: closed - Opened by SimonBoulier over 8 years ago
- 10 comments
#1 - Introduce a configure file + compute also dependencies that come from the type
Pull Request -
State: closed - Opened by ybertot almost 9 years ago
- 13 comments