Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sacerdot/matita issues and pull requests

#5 - minor change for camlp5 8.03.00 compat

Pull Request - State: open - Opened by chetmurthy 10 months ago

#4 - Slight change needed to work with Camlp5 8.03.00

Issue - State: open - Opened by chetmurthy 10 months ago

#3 - GUI error message when graphviz installation is not detected

Issue - State: open - Opened by foxyseta about 1 year ago

#2 - Dedukti import and export

Pull Request - State: open - Opened by specialfish9 over 1 year ago

#1 - Upper bound to ocaml version

Pull Request - State: closed - Opened by foxyseta about 2 years ago