| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-04-20 | gnu: idris: Update to 1.3.4. | Eric Bavier |
| 2022-04-20 | gnu: idris: Use cc-for-target. | Eric Bavier |
| 2022-04-20 | gnu: idris: Remove trailing #t. | Eric Bavier |
| 2022-04-13 | gnu: idris: Fixes test failure. | Eric Bavier |
| 2021-12-13 | gnu: Simplify package inputs. | Ludovic Courtès |
| 2021-10-08 | gnu: idris: Fix build. | Xinglu Chen |
| 2021-10-08 | gnu: Update Haskell ecosystem. | Lars-Dominik Braun |
 |
index : guix | |
| Wojtek's customized Guix |
| aboutsummaryrefslogtreecommitdiff |