agda_2.6.4.3-1

Details

Artifact agda_2.6.4.3-1
Category debian:source-package
Metadata
component: main
package: agda
section: haskell
version: 2.6.4.3-1
trixie… System… _system 2 weeks, 3 days ago
BETA