summaryrefslogtreecommitdiffstats
path: root/pkgs/development/idris-modules
AgeCommit message (Expand)Author
2019-04-28idrisPackages.build-idris-package: Install binariesSilvan Mosberger
2019-04-28Merge pull request #58320 from Infinisil/fix-idris-glfwSilvan Mosberger
2019-03-26idrisPackages.idris-wrapper: Use stdenv's cc instead of always gccSilvan Mosberger
2019-03-26idrisPackages.idris-wrapper: Fix linking to gmp librarySilvan Mosberger
2019-03-26idrisPackages.glfw: Fix runtimeSilvan Mosberger
2019-02-05idrisPackages.tparsec: 2018-11-09 -> 2018-12-21TG ⊗ Θ
2019-01-04idris-modules/curses.nix: deleteJakob Brünker
2018-12-20idrisPackages.tparsec: 2018-06-26 -> 2018-11-09TG ⊗ Θ
2018-10-26idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger
2018-09-18build-idris-package: ipkgNameTG x
2018-08-04idrisPackages.quantities: init at 2018-04-17Imuli
2018-08-02idrisPackages.graphviz: fix homepage (#44355)Imuli
2018-07-21pkgs/*: remove unreferenced function argumentsvolth
2018-07-16idris: prefix package derivation names with "idris-"Silvan Mosberger
2018-07-08Merge pull request #42861 from Infinisil/fix/idris-forksSilvan Mosberger
2018-07-05build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger
2018-07-02idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger
2018-07-02idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger
2018-07-02idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger
2018-07-02idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger
2018-07-02idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix buildSilvan Mosberger
2018-07-02idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix buildSilvan Mosberger
2018-07-02idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger
2018-07-02idrisPackages.descncrunch: Mark as brokenSilvan Mosberger
2018-07-02idrisPackages: Clean up packagesSilvan Mosberger
2018-07-02idris: Clean up package builderSilvan Mosberger
2018-07-02idrisPackages: install docsSilvan Mosberger
2018-07-02idris: Clean up wrapperSilvan Mosberger
2018-07-02idris: Wrap with IDRIS_CCSilvan Mosberger
2018-06-26idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)Silvan Mosberger
2018-05-25treewide: use appendToName where appropriateMatthew Bauer
2018-05-08idrisPackages.vdom: init at 0.6.0Márton Boros
2018-03-25Move all nixpkgs doc files in to the doc directoryGraham Christensen
2018-03-20idrisPackages: add packagesMárton Boros
2018-03-09idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13Márton Boros
2018-03-09idrisPackages: fix errorsMárton Boros
2018-02-07Refactor Idris packaging infrastructureMatthew Pickering
2018-02-07Revert "idris: Move library setup to the setup hook."Matthew Pickering
2018-02-03Undo spacing differenceMárton Boros
2018-02-03Merge branch 'master' into fix-idris-modulesMárton Boros
2018-01-20idris: Move library setup to the setup hook.Shea Levy
2017-12-30treewide: Don't use envHook anymoreJohn Ericson
2017-12-26idris: fix modulesMárton Boros
2017-11-21specdris: init at 2017-11-11 (#31544)Vanessa McHale
2017-11-02Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering
2017-10-30Fix idrisPackages.with-packagesMatthew Pickering
2017-10-19idrisPackages.lightyear: 2016-08-01 -> 2017-09-10xd1le
2017-09-29Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJe...Shea Levy
2017-09-28Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/n...Shea Levy
2017-09-14treewide: Escape backslash in strings properlyTuomas Tynkkynen
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-31 04:16:04 +0000