Ecosyste.ms: Issues

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

GitHub / deducteam/holide issues and pull requests

#10 - dkcheck doesn't seem to end on base-1.221

Issue - State: open - Opened by fblanqui about 4 years ago

#10 - dkcheck doesn't seem to end on base-1.221

Issue - State: open - Opened by fblanqui about 4 years ago

#9 - dkcheck fails on relation-1.63

Issue - State: closed - Opened by fblanqui about 4 years ago - 1 comment

#8 - quiet mode not quiet

Issue - State: open - Opened by fblanqui about 4 years ago

#7 - error on list-replicate-1.62.art

Issue - State: open - Opened by fblanqui about 4 years ago - 1 comment

#6 - make install not compatible with opam

Issue - State: open - Opened by fblanqui about 4 years ago

#5 - configure: dkcheck called with wrong option

Issue - State: open - Opened by fblanqui about 4 years ago - 1 comment

#3 - Better README formatting

Pull Request - State: open - Opened by XVilka over 5 years ago - 1 comment

#2 - Test also OCaml 4.07, 4.08, 4.09

Pull Request - State: closed - Opened by XVilka over 5 years ago - 5 comments

#1 - [WIP] Enhancement of sharing with OpenTheory

Pull Request - State: open - Opened by francoisthire over 5 years ago