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
..
2019-01-08 15:08:42 +00:00