deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1
(>= 2.0.11), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.4.3+~),
libghc-agda-dev (>= 2.6.4.3)
Description: "commandline interface to Agda\n Agda is a dependently typed functional\
\ programming language: It has inductive\n families, which are like Haskell's\
\ GADTs, but they can be indexed by values and\n not just types. It also has parameterised\
\ modules, mixfix operators, Unicode\n characters, and an interactive Emacs interface\
\ (the type checker can assist in\n the development of your code).\n .\n Agda\
\ is also a proof assistant: It is an interactive system for writing and\n checking\
\ proofs. Agda is based on intuitionistic type theory, a foundational\n system\
\ for constructive mathematics developed by the Swedish logician Per\n Martin-L\xF6\
f. It has many similarities with other proof assistants based on\n dependent types,\
\ such as Coq, Epigram and NuPRL.\n .\n This package provides a command-line program\
\ for type-checking and compiling\n Agda programs. The program can also generate\
\ hyperlinked, highlighted HTML\n files from Agda sources."
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '73704'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: agda-bin
Priority: optional
Section: haskell
Source: agda
Suggests: elpa-agda2-mode
Version: 2.6.4.3-1
srcpkg_name: agda
srcpkg_version: 2.6.4.3-1