| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-02-16 | manual: use quoted homepage urls | Jonathan Ringer | 1 | -1/+1 |
| 2019-10-20 | doc: organize chapters into parts, and reduce toc depth | Frederik Rietdijk | 1 | -1/+1 |
| 2019-08-06 | build-idris-package: add documentation on idris commands options | Marco Perone | 1 | -0/+18 |
| 2019-06-15 | doc/idris: Fix install instructions | Silvan Mosberger | 1 | -2/+13 |
| 2018-11-12 | nixpkgs idris docs: Update and improve | Silvan Mosberger | 1 | -28/+104 |
| 2018-03-25 | Move all nixpkgs doc files in to the doc directory | Graham Christensen | 1 | -0/+39 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |