unstable -> unreleased
[pkg-haskell/agda.git] / debian / control
1 Source: agda
2 Priority: optional
3 Section: haskell
4 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
5 Uploaders: Iain Lane <laney@ubuntu.com>
6 Build-Depends: debhelper (>= 7.0),
7                haskell-devscripts (>= 0.6.15+nmu12~),
8                cdbs (>> 0.4.58),
9                ghc6 (>= 6.10.3-2~),
10                ghc6-prof (>= 6.10.3-2~),
11                libghc6-quickcheck2-dev (>= 2.1.0.1),
12                libghc6-quickcheck2-dev (<< 2.1.0.1+),
13                libghc6-binary-dev (>= 0.4.4),
14                libghc6-binary-dev (<< 0.6),
15                libghc6-haskeline-dev (>= 0.3),
16                libghc6-haskeline-dev (<< 0.7),
17                libghc6-haskell-src-dev (>= 1.0.1.1),
18                libghc6-haskell-src-dev (<< 2),
19                libghc6-mtl-dev (>= 1.1),
20                libghc6-mtl-dev (<< 2),
21                libghc6-utf8-string-dev (>= 0.3),
22                libghc6-utf8-string-dev (<< 0.4),
23                libghc6-xhtml-dev (>= 3000.2),
24                libghc6-xhtml-dev (<< 3000.3),
25                libghc6-zlib-dev (>= 0.4.0.1),
26                libghc6-zlib-dev (<< 1),
27                libghc6-quickcheck2-prof (>= 2.1.0.1),
28                libghc6-quickcheck2-prof (<< 2.1.0.1+),
29                libghc6-binary-prof (>= 0.4.4),
30                libghc6-binary-prof (<< 0.6),
31                libghc6-haskeline-prof (>= 0.3),
32                libghc6-haskeline-prof (<< 0.7),
33                libghc6-haskell-src-prof (>= 1.0.1.1),
34                libghc6-haskell-src-prof (<< 2),
35                libghc6-mtl-prof (>= 1.1),
36                libghc6-mtl-prof (<< 2),
37                libghc6-utf8-string-prof (>= 0.3),
38                libghc6-utf8-string-prof (<< 0.4),
39                libghc6-xhtml-prof (>= 3000.2),
40                libghc6-xhtml-prof (<< 3000.3),
41                libghc6-zlib-prof (>= 0.4.0.1),
42                libghc6-zlib-prof (<< 1),
43                happy (>= 1.15),
44                happy (<< 2),
45                alex (>= 2.0.1),
46                alex (<< 3),
47                hscolour (>= 1.8),
48                ghc6-doc (>= 6.10.3-2~),
49                haddock (>= 2.4.2),
50                libncurses5-dev
51 Build-Depends-Indep: libghc6-quickcheck2-doc (>= 2.1.0.1),
52                      libghc6-quickcheck2-doc (<< 2.1.0.1+),
53                      libghc6-binary-doc (>= 0.4.4),
54                      libghc6-binary-doc (<< 0.6),
55                      libghc6-haskeline-doc (>= 0.3),
56                      libghc6-haskeline-doc (<< 0.7),
57                      libghc6-haskell-src-doc (>= 1.0.1.1),
58                      libghc6-haskell-src-doc (<< 2),
59                      libghc6-mtl-doc (>= 1.1),
60                      libghc6-mtl-doc (<< 2),
61                      libghc6-terminfo-doc,
62                      libghc6-utf8-string-doc (>= 0.3),
63                      libghc6-utf8-string-doc (<< 0.4),
64                      libghc6-xhtml-doc (>= 3000.2),
65                      libghc6-xhtml-doc (<< 3000.3),
66                      haskell-zlib-doc (>= 0.4.0.1),
67                      haskell-zlib-doc (<< 1)
68 Standards-Version: 3.8.2
69 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
70 Vcs-Git: git://git.debian.org/pkg-haskell/agda.git
71
72 Package: libghc6-agda-dev
73 Architecture: any
74 Section: haskell
75 Depends: ${haskell:Depends},
76          ${misc:Depends},
77 Suggests: ${haskell:Suggests}
78 Description: a dependently typed functional programming language - development libraries
79  Agda is a dependently typed functional programming language: It has inductive
80  families, which are like Haskell's GADTs, but they can be indexed by values and
81  not just types. It also has parameterised modules, mixfix operators, Unicode
82  characters, and an interactive Emacs interface (the type checker can assist in
83  the development of your code).
84  .
85  Agda is also a proof assistant: It is an interactive system for writing and
86  checking proofs. Agda is based on intuitionistic type theory, a foundational
87  system for constructive mathematics developed by the Swedish logician Per
88  Martin-Löf. It has many similarities with other proof assistants based on
89  dependent types, such as Coq, Epigram and NuPRL.
90  .
91  This package contains the normal library files.
92
93 Package: libghc6-agda-prof
94 Architecture: any
95 Section: haskell
96 Depends: ${haskell:Depends},
97          ${misc:Depends},
98 Description: a dependently typed functional programming language - profiling libraries
99  Agda is a dependently typed functional programming language: It has inductive
100  families, which are like Haskell's GADTs, but they can be indexed by values and
101  not just types. It also has parameterised modules, mixfix operators, Unicode
102  characters, and an interactive Emacs interface (the type checker can assist in
103  the development of your code).
104  .
105  Agda is also a proof assistant: It is an interactive system for writing and
106  checking proofs. Agda is based on intuitionistic type theory, a foundational
107  system for constructive mathematics developed by the Swedish logician Per
108  Martin-Löf. It has many similarities with other proof assistants based on
109  dependent types, such as Coq, Epigram and NuPRL.
110  .
111  This package contains the libraries compiled with profiling enabled.
112
113 Package: haskell-agda-doc
114 Architecture: all
115 Section: doc
116 Depends: ${misc:Depends}
117 Recommends: ${haskell:Recommends}
118 Suggests: ${haskell:Suggests}
119 Description: a dependently typed functional programming language - documentation
120  Agda is a dependently typed functional programming language: It has inductive
121  families, which are like Haskell's GADTs, but they can be indexed by values and
122  not just types. It also has parameterised modules, mixfix operators, Unicode
123  characters, and an interactive Emacs interface (the type checker can assist in
124  the development of your code).
125  .
126  Agda is also a proof assistant: It is an interactive system for writing and
127  checking proofs. Agda is based on intuitionistic type theory, a foundational
128  system for constructive mathematics developed by the Swedish logician Per
129  Martin-Löf. It has many similarities with other proof assistants based on
130  dependent types, such as Coq, Epigram and NuPRL.
131  .
132  This package contains the documentation files.
133
134 Package: agda-mode
135 Architecture: all
136 Section: misc
137 Depends: ${shlibs:Depends},
138          ${haskell:Depends},
139          ${misc:Depends},
140          emacs | emacsen,
141          haskell-mode,
142          libghc6-agda-dev (>= ${source:Version}),
143          libghc6-agda-dev (<< ${source:Version}.1~)
144 Description: the emacs mode for Agda
145  Agda is a dependently typed functional programming language: It has inductive
146  families, which are like Haskell's GADTs, but they can be indexed by values and
147  not just types. It also has parameterised modules, mixfix operators, Unicode
148  characters, and an interactive Emacs interface (the type checker can assist in
149  the development of your code).
150  .
151  Agda is also a proof assistant: It is an interactive system for writing and
152  checking proofs. Agda is based on intuitionistic type theory, a foundational
153  system for constructive mathematics developed by the Swedish logician Per
154  Martin-Löf. It has many similarities with other proof assistants based on
155  dependent types, such as Coq, Epigram and NuPRL.
156  .
157  This package contains the emacs interactive development mode for Agda. This
158  mode is the preferred way to write Agda code, and offers features such as
159  iterative development, refinement, case analysis and so on.