nixpkgs - Contrib clone of nixpkgs

Age	Commit message (Expand)	Author
2020-06-01	agda: install literate files	Alex Rice
2020-05-14	agda: rework builder	Alex Rice
2019-12-30	treewide: fix *Flags	Robin Gloster
2019-12-05	Remove myself (fuuzetsu) from maintainer lists	Mateusz Kowalczyk
2018-12-07	agda: use exec in agdaWrapper	Dmitry Kalinkin
2018-11-08	agda: use writeShellScriptbin instead of writeScriptBin	Moritz Kiefer
2015-05-31	agda: Remove unused/uneeded abstractions, including `postprocess`	John Ericson
2015-05-31	agda: Just `with` all of the string helper functions	John Ericson
2015-05-30	agda: `postprocess` and `defaults` need not be in the scope of args	John Ericson
2015-05-30	agda: Provide a `.env` like Haskell instead of `.extras`	John Ericson
2015-05-20	agda: Wrapper is no longer built by default	John Ericson
2015-05-20	agda: Agda dependencies are treated seperately	John Ericson
2015-05-18	agda: Remove `extraBuildFlags`	John Ericson
2015-05-18	agda: Remove buildTools, it is unused	John Ericson
2015-05-17	agda: Replace `eval` with `runHook`	John Ericson
2015-05-17	agda: Remove unnecessary env-var export	John Ericson
2015-04-06	agda: migrate to haskell-ng, update and cleanup	Nikolay Amiantov
2014-09-01	Add a builder for Agda packages.	Mateusz Kowalczyk