Binary descriptions:

agda-stdlib: standard library for Agda
agda-stdlib-doc: standard library for Agda — documentation

Last common version:

0.11-1

Differences from last common version:

0.11-1 to Stretch version: 0.12-2

Ignored:: No
All versions
These versions

Comments: