Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | AgdaStdlib: 0.13 -> 0.14 | Unai Zalakain | 2017-09-26 |
| | |||
* | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
| | | | | | | | | | | | | * pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances | ||
* | AgdaStdlib: v0.12 -> v0.13 | laMudri | 2016-12-24 |
| | |||
* | Agda: marked some old packages as broken | laMudri | 2016-06-07 |
| | |||
* | agda-prelude: 2014-09-27 -> 2016-04-18 | laMudri | 2016-06-07 |
| | |||
* | agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) | laMudri | 2016-06-07 |
| | |||
* | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 |
| | |||
* | Revert "Merge pull request #15595 from laMudri/agda-stdlib" | Joachim Fasting | 2016-05-23 |
| | | | | | | | This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing changes made to 7817d0901d44ba97e5862e94840098e2b97d8631. See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487 | ||
* | Agda: marked some old packages as broken | laMudri | 2016-05-21 |
| | |||
* | agda-prelude: 2014-09-27 -> 2016-04-18 | laMudri | 2016-05-21 |
| | |||
* | agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) | laMudri | 2016-05-21 |
| | |||
* | categories: mark as broken cc #9471 | Domen Kožar | 2015-09-04 |
| | | | | | (cherry picked from commit 4ed27ba31905cb1e5a7081c9682df8cc7fb99444) Signed-off-by: Domen Kožar <domen@dev.si> | ||
* | agda-stdlib: update to 2.4.2.3 branch | Mateusz Kowalczyk | 2015-05-31 |
| | | | | Required to work with the new Agda we have | ||
* | agda: the Iowa stdlib seems to be behind a private SVN now | John Ericson | 2015-05-20 |
| | |||
* | agda: migrate to haskell-ng, update and cleanup | Nikolay Amiantov | 2015-04-06 |
| | | | | Resolves https://github.com/NixOS/nixpkgs/pull/7172. | ||
* | Revert "Introduce patchShebangsPhase ran in preConfigurePhases" | Domen Kožar | 2015-01-08 |
| | | | | | | This reverts commit 512fbb280f72980e84230b72b631258df1755919. See #5368 | ||
* | Introduce patchShebangsPhase ran in preConfigurePhases | Domen Kožar | 2015-01-02 |
| | | | | | (cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d) Signed-off-by: Domen Kožar <domen@dev.si> | ||
* | agda-pretty: update darcs revision | Mateusz Kowalczyk | 2014-12-03 |
| | | | | Fixes the package for new Agda version | ||
* | agda-TotalParserCombinators: update darcs revision | Mateusz Kowalczyk | 2014-12-03 |
| | | | | Fixes the package for new Agda version | ||
* | agda-TotalParserCombinators: mark as broken | Mateusz Kowalczyk | 2014-11-20 |
| | | | | Due to 0.9 stdlib update, author notified. | ||
* | agda-pretty: mark as broken | Mateusz Kowalczyk | 2014-11-20 |
| | | | | Broken by updating the stdlib to 0.9. For now I let the author know. | ||
* | agda-iowa-stdlib: update to r18734 | Mateusz Kowalczyk | 2014-11-18 |
| | | | | Now works with Agda 2.4.2.1 | ||
* | agda-iowa-stdlib: mark as broken | Mateusz Kowalczyk | 2014-11-17 |
| | | | | | | The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed. | ||
* | agda-base: new package | Mateusz Kowalczyk | 2014-10-02 |
| | |||
* | agda-iowa-stdlib: renamed from aaron-stump-stdlib | Mateusz Kowalczyk | 2014-09-28 |
| | | | | Per author's request. | ||
* | agda-aaron-stump-stdlib: new package | Mateusz Kowalczyk | 2014-09-27 |
| | |||
* | agda-pretty: new package | Mateusz Kowalczyk | 2014-09-27 |
| | |||
* | agda-TotalParserCombinators: new package | Mateusz Kowalczyk | 2014-09-27 |
| | |||
* | agda-prelude: new package | Mateusz Kowalczyk | 2014-09-27 |
| | |||
* | agda-categories: add package | Mateusz Kowalczyk | 2014-09-16 |
| | |||
* | agda: add bitvector | Mateusz Kowalczyk | 2014-09-11 |
| | |||
* | agda-sheaves: use lib.licenses | Mateusz Kowalczyk | 2014-09-11 |
| | |||
* | agda: add Agda-Sheaves | Mateusz Kowalczyk | 2014-09-11 |