Age | Commit message (Expand) | Author |
2022-08-16 | treewide: makeWrapper buildInputs to nativeBuildInputs | Artturin |
2022-04-01 | config.allowAliases: Define as option | Robert Hensing |
2022-02-23 | idris-modules: rename name to pname | Felix Buehler |
2022-02-07 | idrisPackages.protobuf: move to alias set | Jonathan Ringer |
2022-02-06 | idrisPackages.protobuf: remove | c0bw3b |
2021-11-28 | build-idris-package: Use patchPhase for consistency | Maëlys Bras de fer |
2021-05-09 | Merge pull request #122181 from divanorama/patch-2 | Silvan Mosberger |
2021-05-08 | idrisPackages.data: remove broken package at 2018-03-19 | divanorama |
2021-05-08 | idrisPackages.sdl2: fix sources sha256 | divanorama |
2021-01-25 | treewide: remove stdenv where not needed | Pavol Rusnak |
2021-01-20 | treewide: editorconfig fixes | zowoq |
2021-01-19 | treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix | Jonathan Ringer |
2021-01-17 | pkgs/development: stdenv.lib -> lib | Pavol Rusnak |
2020-11-09 | idris-modules: add final newline to TODO.md | Samuel Gräfenstein |
2020-06-04 | Merge master into staging-next | Frederik Rietdijk |
2020-06-01 | treewide: replace SRI hashes | Daiderd Jordan |
2020-05-12 | *-wrapper; Switch from `infixSalt` to `suffixSalt` | John Ericson |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly |
2020-03-20 | idrisPackages: add tf-random package | Mike Sperber |
2020-02-17 | idrisPackages.tparsec: 2019-09-19 -> 2020-02-11 | Alex Gryzlov |
2019-12-15 | idrisPackages.tparsec: 2019-06-18 -> 2019-09-19 | Alex Gryzlov |
2019-09-24 | idrisPackages.heyting-algebra: remove | Kierán Meinhardt |
2019-09-24 | idrisPackages.heyting-algebra: mark as broken | Kierán Meinhardt |
2019-08-07 | add options for build idris package (#65666) | Silvan Mosberger |
2019-08-06 | build-idris-package: add options for idris commands | Marco Perone |
2019-08-02 | idrisPackages: Fix overrides not applying | Silvan Mosberger |
2019-07-28 | idrisPackages.sdl2: 2018-01-19 -> 0.1.1 | Steven Shaw |
2019-06-21 | idrisPackages.tparsec: 2018-12-21 -> 2019-06-18 | Alex Gryzlov |
2019-04-28 | idrisPackages.build-idris-package: Install binaries | Silvan Mosberger |
2019-04-28 | Merge pull request #58320 from Infinisil/fix-idris-glfw | Silvan Mosberger |
2019-03-26 | idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc | Silvan Mosberger |
2019-03-26 | idrisPackages.idris-wrapper: Fix linking to gmp library | Silvan Mosberger |
2019-03-26 | idrisPackages.glfw: Fix runtime | Silvan Mosberger |
2019-02-05 | idrisPackages.tparsec: 2018-11-09 -> 2018-12-21 | TG ⊗ Θ |
2019-01-04 | idris-modules/curses.nix: delete | Jakob Brünker |
2018-12-20 | idrisPackages.tparsec: 2018-06-26 -> 2018-11-09 | TG ⊗ Θ |
2018-10-26 | idrisPackages.{categories,derive}: Use upstream instead of forks | Silvan Mosberger |
2018-09-18 | build-idris-package: ipkgName | TG x |
2018-08-04 | idrisPackages.quantities: init at 2018-04-17 | Imuli |
2018-08-02 | idrisPackages.graphviz: fix homepage (#44355) | Imuli |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth |
2018-07-16 | idris: prefix package derivation names with "idris-" | Silvan Mosberger |
2018-07-08 | Merge pull request #42861 from Infinisil/fix/idris-forks | Silvan Mosberger |
2018-07-05 | build-idris-package: includePreludeBase -> noPrelude, noBase | Silvan Mosberger |
2018-07-02 | idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build | Silvan Mosberger |
2018-07-02 | idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build | Silvan Mosberger |
2018-07-02 | idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build | Silvan Mosberger |
2018-07-02 | idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build | Silvan Mosberger |
2018-07-02 | idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build | Silvan Mosberger |
2018-07-02 | idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build | Silvan Mosberger |