Binary descriptions:

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

Last common version:

1.3-2

Differences from last common version:

1.3-2 to Mantic version: 1.7.1-1

Ignored:: No
All versions
These versions

Comments: