agda-stdlib_2.1-3

Details

Artifact agda-stdlib_2.1-3
Category debian:source-package
Metadata
component: main
package: agda-stdlib
section: libs
version: 2.1-3
sid System _system 5 days, 10 hours ago
BETA