| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | idris-modules: add final newline to TODO.md | Samuel Gräfenstein | 2020-11-09 | 1 | -1/+1 |
| * | Merge master into staging-next | Frederik Rietdijk | 2020-06-04 | 1 | -1/+1 |
| |\ |
|
| | * | treewide: replace SRI hashes | Daiderd Jordan | 2020-06-01 | 1 | -1/+1 |
| * | | *-wrapper; Switch from `infixSalt` to `suffixSalt` | John Ericson | 2020-05-12 | 1 | -1/+1 |
| |/ |
|
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 | 79 | -80/+80 |
| * | idrisPackages: add tf-random package | Mike Sperber | 2020-03-20 | 2 | -0/+25 |
| * | idrisPackages.tparsec: 2019-09-19 -> 2020-02-11 | Alex Gryzlov | 2020-02-17 | 1 | -3/+3 |
| * | idrisPackages.tparsec: 2019-06-18 -> 2019-09-19 | Alex Gryzlov | 2019-12-15 | 1 | -3/+6 |
| * | idrisPackages.heyting-algebra: remove | Kierán Meinhardt | 2019-09-24 | 2 | -29/+0 |
| * | idrisPackages.heyting-algebra: mark as broken | Kierán Meinhardt | 2019-09-24 | 1 | -0/+2 |
| * | add options for build idris package (#65666) | Silvan Mosberger | 2019-08-07 | 1 | -4/+8 |
| |\ |
|
| | * | build-idris-package: add options for idris commands | Marco Perone | 2019-08-06 | 1 | -4/+8 |
| * | | idrisPackages: Fix overrides not applying | Silvan Mosberger | 2019-08-02 | 1 | -5/+5 |
| |/ |
|
| * | idrisPackages.sdl2: 2018-01-19 -> 0.1.1 | Steven Shaw | 2019-07-28 | 1 | -8/+15 |
| * | idrisPackages.tparsec: 2018-12-21 -> 2019-06-18 | Alex Gryzlov | 2019-06-21 | 1 | -3/+3 |
| * | idrisPackages.build-idris-package: Install binaries | Silvan Mosberger | 2019-04-28 | 1 | -0/+12 |
| * | Merge pull request #58320 from Infinisil/fix-idris-glfw | Silvan Mosberger | 2019-04-28 | 1 | -0/+6 |
| |\ |
|
| | * | idrisPackages.glfw: Fix runtime | Silvan Mosberger | 2019-03-26 | 1 | -0/+6 |
| * | | idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc | Silvan Mosberger | 2019-03-26 | 1 | -2/+2 |
| * | | idrisPackages.idris-wrapper: Fix linking to gmp library | Silvan Mosberger | 2019-03-26 | 1 | -2/+4 |
| |/ |
|
| * | idrisPackages.tparsec: 2018-11-09 -> 2018-12-21 | TG ⊗ Θ | 2019-02-05 | 1 | -3/+3 |
| * | idris-modules/curses.nix: delete | Jakob Brünker | 2019-01-04 | 2 | -35/+0 |
| * | idrisPackages.tparsec: 2018-06-26 -> 2018-11-09 | TG ⊗ Θ | 2018-12-20 | 1 | -3/+3 |
| * | idrisPackages.{categories,derive}: Use upstream instead of forks | Silvan Mosberger | 2018-10-26 | 2 | -7/+5 |
| * | build-idris-package: ipkgName | TG x | 2018-09-18 | 23 | -41/+40 |
| * | idrisPackages.quantities: init at 2018-04-17 | Imuli | 2018-08-04 | 2 | -0/+24 |
| * | idrisPackages.graphviz: fix homepage (#44355) | Imuli | 2018-08-02 | 1 | -1/+1 |
| * | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 | 1 | -1/+1 |
| * | idris: prefix package derivation names with "idris-" | Silvan Mosberger | 2018-07-16 | 1 | -1/+1 |
| * | Merge pull request #42861 from Infinisil/fix/idris-forks | Silvan Mosberger | 2018-07-08 | 83 | -434/+119 |
| |\ |
|
| | * | build-idris-package: includePreludeBase -> noPrelude, noBase | Silvan Mosberger | 2018-07-05 | 2 | -5/+9 |
| | * | idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 | 1 | -3/+3 |
| | * | idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 | 1 | -3/+3 |
| | * | idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 | 1 | -4/+5 |
| | * | idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build | Silvan Mosberger | 2018-07-02 | 1 | -4/+5 |
| | * | idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build | Silvan Mosberger | 2018-07-02 | 1 | -3/+3 |
| | * | idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build | Silvan Mosberger | 2018-07-02 | 1 | -3/+6 |
| | * | idrisPackages.{sdl,sdl2}: Mark as broken | Silvan Mosberger | 2018-07-02 | 2 | -0/+4 |
| | * | idrisPackages.descncrunch: Mark as broken | Silvan Mosberger | 2018-07-02 | 1 | -0/+1 |
| | * | idrisPackages: Clean up packages | Silvan Mosberger | 2018-07-02 | 80 | -397/+65 |
| | * | idris: Clean up package builder | Silvan Mosberger | 2018-07-02 | 3 | -19/+21 |
| | * | idrisPackages: install docs | Silvan Mosberger | 2018-07-02 | 1 | -0/+1 |
| * | | idris: Clean up wrapper | Silvan Mosberger | 2018-07-02 | 2 | -14/+10 |
| * | | idris: Wrap with IDRIS_CC | Silvan Mosberger | 2018-07-02 | 1 | -1/+2 |
| |/ |
|
| * | idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621) | Silvan Mosberger | 2018-06-26 | 1 | -3/+3 |
| * | treewide: use appendToName where appropriate | Matthew Bauer | 2018-05-25 | 1 | -3/+3 |
| * | idrisPackages.vdom: init at 0.6.0 | Márton Boros | 2018-05-08 | 2 | -0/+30 |
| * | Move all nixpkgs doc files in to the doc directory | Graham Christensen | 2018-03-25 | 1 | -39/+1 |
| * | idrisPackages: add packages | Márton Boros | 2018-03-20 | 81 | -57/+2422 |
| * | idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 | Márton Boros | 2018-03-09 | 1 | -3/+3 |
