Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq/repo-coqs-disabled issues and pull requests
#6 - Package for 8.5beta2
Pull Request -
State: closed - Opened by mattam82 over 9 years ago
#5 - It should be possible to install other versions of Coq via opam
Issue -
State: open - Opened by JasonGross over 9 years ago
- 2 comments
Labels: enhancement
#4 - -nodoc -> -with-doc no, for 8.4 and earlier
Pull Request -
State: closed - Opened by JasonGross over 9 years ago
- 2 comments
#3 - All Coqs should be built with -debug
Issue -
State: closed - Opened by JasonGross over 9 years ago
- 1 comment
#2 - LtacProf
Pull Request -
State: closed - Opened by JasonGross almost 10 years ago
#1 - Coq 8.4 version with Ltac profiling
Issue -
State: closed - Opened by JasonGross almost 10 years ago
- 3 comments