Package - agda-bin

Package:  agda-bin
apt-get install agda-bin
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/agda/agda-bin_2.6.4.3-1+b2_amd64.deb (Size: 9.4MiB)

PropertyValue
Packageagda-bin
Sourceagda (2.6.4.3-1)
Version2.6.4.3-1+b2
Installed-Size66534
MaintainerDebian Haskell Group
Architectureamd64
Dependslibc6 (>= 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)
Suggestselpa-agda2-mode
Descriptioncommandline interface to Agda
Description-md5f8e26d204d9ccc3a3cfdad460ae35595
Homepagehttps://wiki.portal.chalmers.se/agda/
Tagdevel::testing-qa, interface::commandline, role::program, uitoolkit::ncurses
Sectionhaskell
Priorityoptional
Filenamepool/main/a/agda/agda-bin_2.6.4.3-1+b2_amd64.deb
Size9846396
MD5sum8c4b6c13672cd5af0666810071fe707a
SHA25631052ce0b53e9cf061c9386a0416525318a66bbd1bfaa4bef93f0f43dec8b748

Files in package

  • /usr/bin/agda
  • /usr/share/doc/agda-bin/changelog.Debian.amd64.gz
  • /usr/share/doc/agda-bin/changelog.Debian.gz
  • /usr/share/doc/agda-bin/changelog.gz
  • /usr/share/doc/agda-bin/copyright
  • /usr/share/lintian/overrides/agda-bin