agda_2.6.2.2-1.1

Details

Artifact agda_2.6.2.2-1.1
Category debian:source-package
Metadata
component: main
package: agda
section: haskell
version: 2.6.2.2-1.1
bookworm… System… _system 5 months, 3 weeks ago
BETA