Ecosyste.ms: Issues

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

GitHub / sstucki/lms-kappa issues and pull requests

#2 - make lms-kappa build with newer version (that exists!) of LMS et al

Pull Request - State: closed - Opened by wwaites about 10 years ago - 1 comment

#1 - Isomorphic lhs are not handled correctly

Issue - State: open - Opened by rhz over 11 years ago
Labels: bug