summary refs log tree commit diff
path: root/pkgs/development/idris-modules
Commit message (Expand)AuthorAge
* idrisPackages.tparsec: 2019-06-18 -> 2019-09-19Alex Gryzlov2019-12-15
* idrisPackages.heyting-algebra: removeKierán Meinhardt2019-09-24
* idrisPackages.heyting-algebra: mark as brokenKierán Meinhardt2019-09-24
* add options for build idris package (#65666)Silvan Mosberger2019-08-07
|\
| * build-idris-package: add options for idris commandsMarco Perone2019-08-06
* | idrisPackages: Fix overrides not applyingSilvan Mosberger2019-08-02
|/
* idrisPackages.sdl2: 2018-01-19 -> 0.1.1Steven Shaw2019-07-28
* idrisPackages.tparsec: 2018-12-21 -> 2019-06-18Alex Gryzlov2019-06-21
* idrisPackages.build-idris-package: Install binariesSilvan Mosberger2019-04-28
* Merge pull request #58320 from Infinisil/fix-idris-glfwSilvan Mosberger2019-04-28
|\
| * idrisPackages.glfw: Fix runtimeSilvan Mosberger2019-03-26
* | idrisPackages.idris-wrapper: Use stdenv's cc instead of always gccSilvan Mosberger2019-03-26
* | idrisPackages.idris-wrapper: Fix linking to gmp librarySilvan Mosberger2019-03-26
|/
* idrisPackages.tparsec: 2018-11-09 -> 2018-12-21TG ⊗ Θ2019-02-05
* idris-modules/curses.nix: deleteJakob Brünker2019-01-04
* idrisPackages.tparsec: 2018-06-26 -> 2018-11-09TG ⊗ Θ2018-12-20
* idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger2018-10-26
* build-idris-package: ipkgNameTG x2018-09-18
* idrisPackages.quantities: init at 2018-04-17Imuli2018-08-04
* idrisPackages.graphviz: fix homepage (#44355)Imuli2018-08-02
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* idris: prefix package derivation names with "idris-"Silvan Mosberger2018-07-16
* Merge pull request #42861 from Infinisil/fix/idris-forksSilvan Mosberger2018-07-08
|\
| * build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger2018-07-05
| * idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix buildSilvan Mosberger2018-07-02
| * idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2018-07-02
| * idrisPackages.descncrunch: Mark as brokenSilvan Mosberger2018-07-02
| * idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
| * idris: Clean up package builderSilvan Mosberger2018-07-02
| * idrisPackages: install docsSilvan Mosberger2018-07-02
* | idris: Clean up wrapperSilvan Mosberger2018-07-02
* | idris: Wrap with IDRIS_CCSilvan Mosberger2018-07-02
|/
* idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)Silvan Mosberger2018-06-26
* treewide: use appendToName where appropriateMatthew Bauer2018-05-25
* idrisPackages.vdom: init at 0.6.0Márton Boros2018-05-08
* Move all nixpkgs doc files in to the doc directoryGraham Christensen2018-03-25
* idrisPackages: add packagesMárton Boros2018-03-20
* idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13Márton Boros2018-03-09
* idrisPackages: fix errorsMárton Boros2018-03-09
* Refactor Idris packaging infrastructureMatthew Pickering2018-02-07
* Revert "idris: Move library setup to the setup hook."Matthew Pickering2018-02-07
* Undo spacing differenceMárton Boros2018-02-03
* Merge branch 'master' into fix-idris-modulesMárton Boros2018-02-03
|\
| * idris: Move library setup to the setup hook.Shea Levy2018-01-20
| * treewide: Don't use envHook anymoreJohn Ericson2017-12-30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-12 17:16:50 +0000