| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-04-11 | gnu: idris: Run tests....* gnu/packages/patches/idris-test-no-node.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/idris.scm (idris)[origin]: Use it. [native-inputs]: New field. [arguments]: Remove "#:tests? #f". Add custom 'check' phase after 'install'. | Eric Bavier |
 |
index : guix.git | |
| [no description] | Gitolite user |
| summaryrefslogtreecommitdiff |