summary refs log tree commit diff
path: root/pkgs/development/idris-modules/default.nix
AgeCommit message (Expand)AuthorFilesLines
2021-05-08idrisPackages.data: remove broken package at 2018-03-19divanorama1-2/+0
2020-03-20idrisPackages: add tf-random packageMike Sperber1-0/+2
2019-09-24idrisPackages.heyting-algebra: removeKierán Meinhardt1-2/+0
2019-01-04idris-modules/curses.nix: deleteJakob Brünker1-2/+0
2018-08-04idrisPackages.quantities: init at 2018-04-17Imuli1-0/+2
2018-07-02idris: Clean up wrapperSilvan Mosberger1-4/+3
2018-05-08idrisPackages.vdom: init at 0.6.0Márton Boros1-0/+2
2018-03-20idrisPackages: add packagesMárton Boros1-5/+158
2018-03-09idrisPackages: fix errorsMárton Boros1-2/+0
2018-02-07Refactor Idris packaging infrastructureMatthew Pickering1-8/+23
2017-11-02Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering1-2/+7
2017-09-29Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJe...Shea Levy1-1/+10
2017-09-28Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/n...Shea Levy1-10/+1
2017-09-14treewide: Escape backslash in strings properlyTuomas Tynkkynen1-1/+1
2017-07-13Added `overrideScope` for `callPackageWith`Will Fancher1-10/+1
2016-09-27idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy1-1/+1
2015-11-27idris-modules: documentationShea Levy1-1/+6
2015-11-27idris-modules: Filter out default.nixShea Levy1-2/+2
2015-11-27idris-modules: Read the filesystem to populate package listShea Levy1-10/+8
2015-11-27Add builtin idris packages to idrisPackagesShea Levy1-2/+22
2015-11-27Add idrisPackages to all-packages.nixShea Levy1-0/+18
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 01:23:01 +0000