Binary descriptions:

agda-stdlib: standard library for Agda
agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu utopic.

Last common version:

0.7-2

Differences from last common version:

0.7-2 to Jessie version: 0.8-2

Ignored:: No
All versions
These versions

Comments: