sci-mathematics/
agda-stdlib

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
RedundantLongDescription metadata.xml longdescription closely matches DESCRIPTION
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 2.4.2.5, 2.5.2.0.13 ]
RedundantLongDescription metadata.xml longdescription closely matches DESCRIPTION
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 2.4.2.5, 2.5.2.0.13 ]
2.5.2.0.13 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
2.4.2.5 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
RedundantVersion slot(0) keywords are overshadowed by version: 2.5.2.0.13
RedundantVersion slot(0) keywords are overshadowed by version: 2.5.2.0.13

Package Metadata

Changelog