7 | 7 |
cdbs,
|
8 | 8 |
ghc,
|
9 | 9 |
ghc-prof,
|
10 | |
libghc-copilot-core-dev (>= 3.11),
|
11 | |
libghc-copilot-core-dev (<< 3.12),
|
|
10 |
libghc-copilot-core-dev (>= 3.12),
|
|
11 |
libghc-copilot-core-dev (<< 3.13),
|
12 | 12 |
libghc-copilot-core-prof,
|
13 | |
libghc-copilot-interpreter-dev (>= 3.11),
|
14 | |
libghc-copilot-interpreter-dev (<< 3.12),
|
|
13 |
libghc-copilot-interpreter-dev (>= 3.12),
|
|
14 |
libghc-copilot-interpreter-dev (<< 3.13),
|
15 | 15 |
libghc-copilot-interpreter-prof,
|
16 | |
libghc-copilot-theorem-dev (>= 3.11),
|
17 | |
libghc-copilot-theorem-dev (<< 3.12),
|
|
16 |
libghc-copilot-prettyprinter-dev (>= 3.12),
|
|
17 |
libghc-copilot-prettyprinter-dev (<< 3.13),
|
|
18 |
libghc-copilot-prettyprinter-prof,
|
|
19 |
libghc-copilot-theorem-dev (>= 3.12),
|
|
20 |
libghc-copilot-theorem-dev (<< 3.13),
|
18 | 21 |
libghc-copilot-theorem-prof,
|
19 | 22 |
libghc-data-reify-dev (>= 0.6),
|
20 | 23 |
libghc-data-reify-dev (<< 0.7),
|
|
32 | 35 |
Build-Depends-Indep: ghc-doc,
|
33 | 36 |
libghc-copilot-core-doc,
|
34 | 37 |
libghc-copilot-interpreter-doc,
|
|
38 |
libghc-copilot-prettyprinter-doc,
|
35 | 39 |
libghc-copilot-theorem-doc,
|
36 | 40 |
libghc-data-reify-doc,
|
37 | 41 |
libghc-hunit-doc,
|