summary refs log tree commit diff
path: root/pkgs/build-support/agda
Commit message (Expand)AuthorAge
* treewide: fix *FlagsRobin Gloster2019-12-30
* Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk2019-12-05
* agda: use exec in agdaWrapperDmitry Kalinkin2018-12-07
* agda: use writeShellScriptbin instead of writeScriptBinMoritz Kiefer2018-11-08
* agda: Remove unused/uneeded abstractions, including `postprocess`John Ericson2015-05-31
* agda: Just `with` all of the string helper functionsJohn Ericson2015-05-31
* agda: `postprocess` and `defaults` need not be in the scope of argsJohn Ericson2015-05-30
* agda: Provide a `.env` like Haskell instead of `.extras`John Ericson2015-05-30
* agda: Wrapper is no longer built by defaultJohn Ericson2015-05-20
* agda: Agda dependencies are treated seperatelyJohn Ericson2015-05-20
* agda: Remove `extraBuildFlags`John Ericson2015-05-18
* agda: Remove buildTools, it is unusedJohn Ericson2015-05-18
* agda: Replace `eval` with `runHook`John Ericson2015-05-17
* agda: Remove unnecessary env-var exportJohn Ericson2015-05-17
* agda: migrate to haskell-ng, update and cleanupNikolay Amiantov2015-04-06
* Add a builder for Agda packages.Mateusz Kowalczyk2014-09-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-24 09:37:50 +0000