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
trixie… System… _system 3 weeks ago
BETA