agda-bin - commandline interface to Agda

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename agda-bin_2.5.4.1-3+b1_i386.deb
Package name agda-bin
Package version
Package release 3+b1
Package architecture i386
Package type deb
Category devel::testing-qa haskell interface::commandline role::program uitoolkit::ncurses
License -
Maintainer Debian Haskell Group <>
Download size 5.67 MB
Installed size 33.21 MB
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
This package provides a command-line program for type-checking and compiling
Agda programs. The program can also generate hyperlinked, highlighted HTML
files from Agda sources.


Package Version Architecture Repository
agda-bin_2.5.4.1-3+b1_amd64.deb amd64 Debian Main
agda-bin - - -


Name Value
libatomic1 >= 4.8
libc6 >= 2.28
libffi6 >= 3.0.4
libgmp10 -
libtinfo6 >= 6
zlib1g >= 1:1.1.4


Type URL
Binary Package agda-bin_2.5.4.1-3+b1_i386.deb
Source Package agda

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install agda-bin deb package:
    # sudo apt-get install agda-bin




2018-10-20 - Ilias Tsitsimpis <>
agda ( unstable; urgency=medium
* Remove build dependency on non-existing libghc-edisoncore-dev.
The correct package is libghc-edison-core-dev.
* Remove build dependency on *-prof packages.
No profiling package is being built.
2018-10-01 - Ilias Tsitsimpis <>
agda ( unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
* Remove build dependency on libghc-text-dev (provided by ghc-8.4.3)
* Remove build dependency on libghc-stm-dev (provided by ghc-8.4.3)
2018-09-30 - Ilias Tsitsimpis <>
agda ( unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* New upstream release
2018-04-29 - Clint Adams <>
agda (2.5.3-5) unstable; urgency=medium
* Patch for newer EdisonCore.
2018-04-09 - Clint Adams <>
agda (2.5.3-4) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
* Delete the Uploaders field.
2017-10-13 - Joachim Breitner <>
agda (2.5.3-3) unstable; urgency=medium
* Search for .agda-lib files in /var/lib/agda
So that agda -l standard-library works out of te box
2017-10-13 - Joachim Breitner <>
agda (2.5.3-2) unstable; urgency=medium
* Typo in build-depends
2017-09-16 - Sean Whitton <>
agda (2.5.3-1) unstable; urgency=medium
* New upstream release
* Drop bump-ieee754-bounds.patch
Merged upstream.
2017-07-10 - Gianfranco Costamagna <>
agda (2.5.2-2) unstable; urgency=medium
* Team upload.
* Bump ieee754 bounds.
2017-07-06 - Gianfranco Costamagna <>
agda (2.5.2-1) unstable; urgency=medium
* New upstream release
* Team upload
* Drop all patches, upstream
* Bump std-version to 4.0.0
* Bump compat level to 10
* Update build dependencies

See Also

Package Description
agda-mode_2.5.4.1-3_all.deb transitional dummy package for elpa-agda2-mode
agda-stdlib-doc_0.17-1_all.deb standard library for Agda — documentation
agda-stdlib_0.17-1_all.deb standard library for Agda
agda_2.5.4.1-3_all.deb dependently typed functional programming language
agedu_9723-1+b1_i386.deb Unix utility for tracking down wasted disk space
agenda.app_0.44-2+b1_i386.deb Calendar manager for GNUstep
agent-transfer_0.43-3_i386.deb copy a secret key from GnuPG's gpg-agent to OpenSSH's ssh-agent
aggregate_1.6-7+b1_i386.deb ipv4 cidr prefix aggregator
aghermann_1.1.2-2_i386.deb Sleep-research experiment manager
aglfn_1.7-3_all.deb Adobe Glyph List For New Fonts
agtl_0.8.0.3-1.1_all.deb Tool for paperless geocaching
aha_0.5-1_i386.deb ANSI color to HTML converter
ahcpd_0.53-2+b1_i386.deb Ad-Hoc Configuration Protocol
aho-corasick_0.6.9-1_i386.deb Fast multiple substring searching with finite state machines
aide-common_0.16.1-1_all.deb Advanced Intrusion Detection Environment - Common files