Publishing details
Changelog
agda (2.6.0.1-1build4) focal; urgency=medium
* No-change rebuild with fixed binutils on arm64.
-- Matthias Klose <email address hidden> Sat, 08 Feb 2020 10:55:44 +0000
Builds
Built packages
-
agda
dependently typed functional programming language
-
agda-bin
commandline interface to Agda
-
agda-mode
transitional dummy package for elpa-agda2-mode
-
elpa-agda2-mode
dependently typed functional programming language — emacs mode
-
libghc-agda-dev
dependently typed functional programming language
-
libghc-agda-doc
dependently typed functional programming language; documentation
Package files