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 3 weeks, 3 days ago
BETA