forked from agda/agda
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cabal.project.local.mtl23
45 lines (35 loc) · 1.38 KB
/
cabal.project.local.mtl23
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
-- Andreas, 2022-02-23, configuration to build with mtl-2.3-rc3
-- Andreas, 2022-11-04, configuration to build with mtl-2.3.1
-- Invocation:
-- $ ln -s cabal.project.local.mtl23 cabal.project.local
-- $ cabal build --builddir dist-mtl23 -f +enable-cluster-counting
flags: +enable-cluster-counting
constraints: text-icu == 0.8.*
-- mtl
------------------------------------------------------------------------
constraints: mtl == 2.3.1
allow-newer: *:mtl
-- =====================================================================
-- Released versions needed to test mtl-2.3.1
-- =====================================================================
-- transformers
------------------------------------------------------------------------
constraints: transformers == 0.6.*
allow-newer: *:transformers
-- =====================================================================
-- Unreleased versions needed to test mtl-2.3.1
-- =====================================================================
-- happy
------------------------------------------------------------------------
source-repository-package
type: git
location: [email protected]:simonmar/happy.git
subdir: .
subdir: packages/backend-glr
subdir: packages/backend-lalr
subdir: packages/codegen-common
subdir: packages/frontend
subdir: packages/grammar
subdir: packages/tabular
constraints: happy == 1.21.*
allow-newer: *:happy