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 |
2021-01-20 | gnu: idris: Update to 1.3.3. | Eric Bavier |
2020-08-29 | gnu: idris: Fix for Haskell build system changes. | Timothy Sample |