summary refs log tree commit diff
path: root/pkgs/build-support/agda
Commit message (Expand)AuthorAge
* agdaPackages.*: support literate Typst filesNaïm Favier2023-10-24
* Merge remote-tracking branch 'origin/master' into haskell-updatessternenseemann2023-02-18
|\
| * agda: fix passthruNaïm Favier2023-02-12
* | agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt2023-02-14
|/
* agda: pass through metaNaïm Favier2023-01-12
* Merge pull request #98214 from turion/dev_test_all_agda_packagesManuel Bärenz2021-10-19
|\
| * agdaPackages: Build reverse dependencies on testManuel Bärenz2021-08-03
* | build-support/agda: Make includePaths configurableManuel Bärenz2021-08-30
* | treewide: runCommandNoCC -> runCommandRobert Hensing2021-08-15
|/
* agdaPackages: Don't build broken packages on hydraManuel Bärenz2021-07-22
* mkShell: introduce packages argument (#122180)Jonas Chevalier2021-05-13
* agda nixos test: add to passthru for agda + stdlibAlex Rice2021-03-30
* Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres2021-02-03
|\
| * agdaPackages.mkDerivation: don't install Everything moduleAlexander Ben Nasrallah2021-01-24
* | agda.withPackages: use GHC with ieee754 as defaultAlexander Ben Nasrallah2021-01-22
|/
* agda: install literate filesAlex Rice2020-06-01
* agda: rework builderAlex Rice2020-05-14
* 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-28 10:42:41 +0000