Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-04-01 | config.allowAliases: Define as option | Robert Hensing | 1 | -1/+1 | |
This simplifies usages and makes the default value consistent. In a few cases, the default value was interpreted to be `false`, but this is useless, because virtually nobody will explicitly set `allowAliases = true;`. | |||||
2022-02-07 | idrisPackages.protobuf: move to alias set | Jonathan Ringer | 1 | -4/+5 | |
2022-02-06 | idrisPackages.protobuf: remove | c0bw3b | 1 | -1/+1 | |
Upstream does not exist anymore | |||||
2021-05-08 | idrisPackages.data: remove broken package at 2018-03-19 | divanorama | 1 | -2/+0 | |
Package doesn't compile https://hydra.nixos.org/build/142422494/nixlog/2 And the repository is archived with latest commits being in 2019 https://github.com/jdevuyst/dependable-data-structures ZHF: #122042 | |||||
2020-03-20 | idrisPackages: add tf-random package | Mike Sperber | 1 | -0/+2 | |
2019-09-24 | idrisPackages.heyting-algebra: remove | Kierán Meinhardt | 1 | -2/+0 | |
2019-01-04 | idris-modules/curses.nix: delete | Jakob Brünker | 1 | -2/+0 | |
The repository is currently unmaintained and cannot be guaranteed to work. | |||||
2018-08-04 | idrisPackages.quantities: init at 2018-04-17 | Imuli | 1 | -0/+2 | |
2018-07-02 | idris: Clean up wrapper | Silvan Mosberger | 1 | -4/+3 | |
2018-05-08 | idrisPackages.vdom: init at 0.6.0 | Márton Boros | 1 | -0/+2 | |
2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -5/+158 | |
2018-03-09 | idrisPackages: fix errors | Márton Boros | 1 | -2/+0 | |
2018-02-07 | Refactor Idris packaging infrastructure | Matthew Pickering | 1 | -8/+23 | |
The main two changes are 1. Completely rewrite how with-packages works to remove use of envHooks 2. The package description is now an idris specific set rather than being a subset of the arguments to mkDerivation. This mirrors the way Haskell packages are treated. | |||||
2017-11-02 | Add wrapper for idris exe for gcc/gmp runtime deps | Matthew Pickering | 1 | -2/+7 | |
Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. | |||||
2017-09-29 | Revert "Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 1 | -1/+10 | |
git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c. | |||||
2017-09-28 | Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 1 | -10/+1 | |
git://github.com/ElvishJerricco/nixpkgs | |||||
2017-09-14 | treewide: Escape backslash in strings properly | Tuomas Tynkkynen | 1 | -1/+1 | |
"\." is apparently the same as "." wheras the correct one is "\\." | |||||
2017-07-13 | Added `overrideScope` for `callPackageWith` | Will Fancher | 1 | -10/+1 | |
Consequently removing several ad-hoc definitions of the same concept. | |||||
2016-09-27 | idris-modules: pkgs.gnome is now pkgs.gnome2. | Shea Levy | 1 | -1/+1 | |
Fixes #18998. Closes #19002. | |||||
2015-11-27 | idris-modules: documentation | Shea Levy | 1 | -1/+6 | |
2015-11-27 | idris-modules: Filter out default.nix | Shea Levy | 1 | -2/+2 | |
2015-11-27 | idris-modules: Read the filesystem to populate package list | Shea Levy | 1 | -10/+8 | |
2015-11-27 | Add builtin idris packages to idrisPackages | Shea Levy | 1 | -2/+22 | |
2015-11-27 | Add idrisPackages to all-packages.nix | Shea Levy | 1 | -0/+18 | |