deb_control_files:
- control
- md5sums
- postinst
- prerm
deb_fields:
Architecture: all
Depends: agda-bin (<< 2.6.4.3-1.1~), agda-bin (>= 2.6.4.3-1), libghc-agda-dev (<<
2.6.4.3-1.1~), libghc-agda-dev (>= 2.6.4.3-1), dh-elpa-helper, emacsen-common
Description: "dependently typed functional programming language \u2014 emacs mode\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\xF6f. It has many similarities\
\ with other proof assistants based on\n dependent types, such as Coq, Epigram\
\ and NuPRL.\n .\n This package contains the emacs interactive development mode\
\ for Agda. This\n mode is the preferred way to write Agda code, and offers features\
\ such as\n iterative development, refinement, case analysis and so on."
Enhances: emacs, emacs24
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '211'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: elpa-agda2-mode
Priority: optional
Recommends: emacs (>= 46.0)
Section: editors
Source: agda
Version: 2.6.4.3-1
srcpkg_name: agda
srcpkg_version: 2.6.4.3-1