Uma Zalakain 196cc47005 agda: fix typo in library management documentation ...

Agda expects a "depend" (not "depends") field in the library description.

2020-05-24 14:20:05 +02:00

..

builders

treewide: per RFC45, remove more unquoted URLs

2020-04-18 14:04:37 +02:00

contributing

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

doc-support

Revert "make-tarball.nix: Restore the 'commit' field in packages.json"

2020-03-29 20:57:50 +02:00

functions

…

languages-frameworks

agda: fix typo in library management documentation

2020-05-24 14:20:05 +02:00

old

treewide: per RFC45, remove more unquoted URLs

2020-04-18 14:04:37 +02:00

stdenv

Remove outdated reference to nix-log2xml

2020-05-07 16:01:29 +02:00

using

doc/using/overlays.xml: update LD_LIBRARY_PATH example

2020-04-22 21:54:41 -04:00

.gitignore

…

default.nix

…

functions.xml

…

Makefile

…

manual.xml

…

overrides.css

…

preface.chapter.md

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

release-notes.xml

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

shell.nix

…

style.css

…