elpa-agda2-mode_2.6.4.3-1_all

Details

Artifact	elpa-agda2-mode_2.6.4.3-1_all
Category	debian:binary-package

Metadata

architecture: all
component: main
package: elpa-agda2-mode
priority: optional
section: editors
srcpkg_name: agda
srcpkg_version: 2.6.4.3-1
version: 2.6.4.3-1