Tags

tagging helmut's recent upload

Verified as identical to uploaded source package with dgit by spwhitton.

tagging package agda-stdlib version debian/0.12-1

Upstream version 0.12

agda-stdlib Debian release 0.11-1

Upstream version 0.11

agda-stdlib Debian release 0.9-1

Upstream version 0.9

agda-stdlib Debian release 0.8-2

agda-stdlib Debian release 0.8-1

Upstream version 0.8

agda-stdlib Debian release 0.7-2

Debian release 0.7-1

Upstream version 0.7

Debian release 0.6-2

Debian release 0.6-1

Debian release 0.6~darcs20111129t1640-1

Debian release 0.5-1~ubuntu1

Upstream version 0.5

Upstream version 0.4