mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-11-09	doc: avoid 'simply' (#266434)	Arnout Engelen	1	-2/+2
2023-03-27	doc: assign ids to many headings	pennae	1	-1/+1
2022-12-04	doc: use sri hash syntax	Colin Arnott	1	-2/+2
2021-08-03	adga: Add test for all packages	Manuel Bärenz	1	-0/+7
2021-08-03	agda.section.md: Lay out Agda maintenance guidelines	Manuel Bärenz	1	-1/+56
2021-06-07	doc: prepare for commonmark	Jan Tojnar	1	-14/+21
2021-04-23	agda: extend agda language frameworks manual section	Alexander Ben Nasrallah	1	-9/+90
2021-04-05	doc/languages-frameworks/*: add missing languages to code fences	Sandro Jäckel	1	-7/+7
2021-01-22	agda.withPackages: use GHC with ieee754 as default	Alexander Ben Nasrallah	1	-1/+1
2021-01-01	doc: explicit Markdown anchors for top-level headings; remove metadata	Ryan Mulligan	1	-6/+1
2020-09-18	agda.section.md: Fix header, enumerations, capitalisation	Manuel Bärenz	1	-17/+22
2020-06-17	agda: fix manual build	Cole Helbling	1	-2/+2
2020-06-01	agda: install literate files	Alex Rice	1	-1/+11
2020-05-24	agda: fix typo in library management documentation	Uma Zalakain	1	-1/+1
2020-05-14	agda: rework builder	Alex Rice	1	-0/+96