Package - agda

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/agda/agda_2.6.4.3-1_all.deb (Size: 11.9KiB)

PropertyValue
Packageagda
Version2.6.4.3-1
Installed-Size20
MaintainerDebian Haskell Group
Architectureall
Dependsagda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Descriptiondependently typed functional programming language
Description-md565333dc4f3e4d00a90419d96d9785d24
Homepagehttps://wiki.portal.chalmers.se/agda/
Tagrole::metapackage
Sectionmisc
Priorityoptional
Filenamepool/main/a/agda/agda_2.6.4.3-1_all.deb
Size12148
MD5sumbfc25828e4f60479086cb5d3935176f2
SHA256feb2fcbb266bdf04ffcebf60b06ac967e3b5f3ceea399b4f0d03ad9ac8c8ff47

Files in package

  • /usr/share/doc/agda/buildinfo_all.gz
  • /usr/share/doc/agda/changelog.Debian.gz
  • /usr/share/doc/agda/changelog.gz
  • /usr/share/doc/agda/copyright