Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / srid/idris-template issues and pull requests
#4 - Switch to idris2-pkgs
Pull Request -
State: closed - Opened by srid about 3 years ago
#3 - Switch to idris2-pkgs
Issue -
State: closed - Opened by srid about 3 years ago
#2 - Add .ipkg and build using that
Issue -
State: closed - Opened by srid about 3 years ago
#1 - dylib error when executing on M1 Mac
Issue -
State: open - Opened by srid about 3 years ago
- 1 comment