Ecosyste.ms: Issues

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

GitHub / zjhmale/idringen issues and pull requests

#7 - idrin new failed in windows subsystem for linux

Issue - State: open - Opened by fstiffo over 4 years ago - 1 comment

#6 - Idris 1.2.0 incompatible with idringen

Issue - State: open - Opened by pjgoodall over 6 years ago

#5 - Help command

Issue - State: open - Opened by zjhmale about 7 years ago

#4 - Dependency management for ipkg project

Issue - State: open - Opened by zjhmale about 7 years ago

#3 - Stackage

Issue - State: open - Opened by zjhmale about 7 years ago

#2 - clean intermediate files in subdirectories

Issue - State: open - Opened by zjhmale almost 8 years ago
Labels: enhancement

#1 - executable name

Issue - State: open - Opened by zjhmale almost 8 years ago
Labels: enhancement