gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
228,541 Commits 9 Branches 0 Tags
677e3960b51ef3160faa7af3e911bb93ae704f90
Commit Graph

2 Commits

Author SHA1 Message Date
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
Alex Rice
d30e2468e0 agda: rework builder 2020-05-14 20:54:11 +01:00