Binary descriptions:
  • agda-stdlib: standard library for Agda
  • agda-stdlib-doc: standard library for Agda — documentation
Last common version:
0.12-2
Ignored:


 
Comments: