7 | 7 |
cdbs,
|
8 | 8 |
ghc,
|
9 | 9 |
ghc-prof,
|
10 | |
libghc-copilot-core-dev (>= 3.12),
|
11 | |
libghc-copilot-core-dev (<< 3.13),
|
|
10 |
libghc-copilot-core-dev (>= 3.13),
|
|
11 |
libghc-copilot-core-dev (<< 3.14),
|
12 | 12 |
libghc-copilot-core-prof,
|
13 | |
libghc-copilot-interpreter-dev (>= 3.12),
|
14 | |
libghc-copilot-interpreter-dev (<< 3.13),
|
|
13 |
libghc-copilot-interpreter-dev (>= 3.13),
|
|
14 |
libghc-copilot-interpreter-dev (<< 3.14),
|
15 | 15 |
libghc-copilot-interpreter-prof,
|
16 | |
libghc-copilot-prettyprinter-dev (>= 3.12),
|
17 | |
libghc-copilot-prettyprinter-dev (<< 3.13),
|
|
16 |
libghc-copilot-prettyprinter-dev (>= 3.13),
|
|
17 |
libghc-copilot-prettyprinter-dev (<< 3.14),
|
18 | 18 |
libghc-copilot-prettyprinter-prof,
|
19 | |
libghc-copilot-theorem-dev (>= 3.12),
|
20 | |
libghc-copilot-theorem-dev (<< 3.13),
|
|
19 |
libghc-copilot-theorem-dev (>= 3.13),
|
|
20 |
libghc-copilot-theorem-dev (<< 3.14),
|
21 | 21 |
libghc-copilot-theorem-prof,
|
22 | 22 |
libghc-data-reify-dev (>= 0.6),
|
23 | 23 |
libghc-data-reify-dev (<< 0.7),
|