-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcabal.project
More file actions
42 lines (34 loc) · 1.17 KB
/
cabal.project
File metadata and controls
42 lines (34 loc) · 1.17 KB
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
packages: .
allow-newer: *:base, *:mtl, *:base-orphans, *:template-haskell, *:th-abstraction
source-repository-package
type: git
location: https://github.com/lostbean/sledge.git
tag: f97e7ee499aa6f79311f57fd510d33ceed719265
source-repository-package
type: git
location: https://github.com/lostbean/hammer.git
tag: 48a4d06bb698e9fe360aef968ed08f376b5aad9f
source-repository-package
type: git
location: https://github.com/lostbean/queryforest.git
tag: ea36c8495a18e5641f9e63380f6c90d03a2768d9
source-repository-package
type: git
location: https://github.com/lostbean/SubZero.git
tag: 5030dd00728acb1d321a12e066ba0b76f1e238d0
source-repository-package
type: git
location: https://github.com/lostbean/DeUni.git
tag: d764da771a04bd27ac42c1743b4020a3d70b1aab
source-repository-package
type: git
location: https://github.com/lostbean/VTK.git
tag: 69cbb2281747fa291522ba12c24015879682a6a2
source-repository-package
type: git
location: https://github.com/lostbean/mcl.git
tag: ae6895e57c5606fd89e1dc10b1dc0ead9afecda5
source-repository-package
type: git
location: https://github.com/lostbean/linear-vect.git
tag: 5391c2ef7b7bcfaf5aa66e7be3102601125d4499