summaryrefslogtreecommitdiffstats
path: root/pkgs/development/idris-modules/default.nix
AgeCommit message (Expand)Author
2022-04-01config.allowAliases: Define as optionRobert Hensing
2022-02-07idrisPackages.protobuf: move to alias setJonathan Ringer
2022-02-06idrisPackages.protobuf: removec0bw3b
2021-05-08idrisPackages.data: remove broken package at 2018-03-19divanorama
2020-03-20idrisPackages: add tf-random packageMike Sperber
2019-09-24idrisPackages.heyting-algebra: removeKierán Meinhardt
2019-01-04idris-modules/curses.nix: deleteJakob Brünker
2018-08-04idrisPackages.quantities: init at 2018-04-17Imuli
2018-07-02idris: Clean up wrapperSilvan Mosberger
2018-05-08idrisPackages.vdom: init at 0.6.0Márton Boros
2018-03-20idrisPackages: add packagesMárton Boros
2018-03-09idrisPackages: fix errorsMárton Boros
2018-02-07Refactor Idris packaging infrastructureMatthew Pickering
2017-11-02Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering
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
2017-07-13Added `overrideScope` for `callPackageWith`Will Fancher
2016-09-27idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy
2015-11-27idris-modules: documentationShea Levy
2015-11-27idris-modules: Filter out default.nixShea Levy
2015-11-27idris-modules: Read the filesystem to populate package listShea Levy
2015-11-27Add builtin idris packages to idrisPackagesShea Levy
2015-11-27Add idrisPackages to all-packages.nixShea Levy
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-27 09:06:12 +0000