forked from anoma/juvix
-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml
110 lines (95 loc) · 4.23 KB
/
stack.yaml
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
resolver: lts-17.3
packages:
- .
- ./library/StandardLibrary
- ./library/Parsing
- ./library/Core
- ./library/Pipeline
- ./library/BerlinPipeline
- ./library/Translate
- ./library/Backends/Michelson
- ./library/Playground/Easy
- ./library/Playground/HTTP
- ./library/Backends/Plonk
- ./library/Backends/llvm
- ./library/Witch
- ./library/Context
- ./library/Sexp
- ./library/Test/DataStructures
extra-deps:
###################
# For HTTP server #
###################
- servant-static-th-1.0.0.0
################################
# LLVM-HS Library dependencies #
################################
- llvm-hs-pure-9.0.0
- llvm-hs-pretty-0.9.0.0
########################
# General Dependencies #
########################
- capability-0.4.0.0@sha256:d86d85a1691ef0165c77c47ea72eac75c99d21fb82947efe8b2f758991cf1837,3345
- github: jyp/prettiest
commit: e5ce6cd6b4da71860c3d97da84bed4a827fa00ef
- github: metastatedev/extensible-data
commit: d11dee6006169cb537e95af28c3541a24194dea8
- aeson-options-0.1.0@sha256:2d0c25afbb2d038bd5b57de8d042e319ea1a5ec7d7b92810d8a0cf0777882b6a,1244
- unexceptionalio-0.5.0@sha256:ad0b2d4d1f62a3e24cdb80360eea42ab3f0a0559af42aba19b5cf373378913ce,1682
- github: seereason/sr-extra
commit: d5435dcb2ae5da5f9e0fb8e5a3c40f99937a046f
##############
# Witherable #
##############
- witherable-0.3.5@sha256:6590a15735b50ac14dcc138d4265ff1585d5f3e9d3047d5ebc5abf4cd5f50084,1476
- witherable-class-0@sha256:91f05518f9f4af5b02424f13ee7dcdab5d6618e01346aa2f388a72ff93e2e501,775
######################
# Visualizing graphs #
######################
- fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e,995
#####################################
# Standard Library Extra Dependency #
#####################################
- github: phile314/tasty-silver
commit: f1f90ac3113cd445e2a7ade43ebb29f0db38ab9b
- tasty-1.4.1@sha256:69e90e965543faf0fc2c8e486d6c1d8cf81fd108e2c4541234c41490f392f94f,2638
#########################################################
# Git depdencies caused by Morley specific dependencies #
#########################################################
- morley-1.14.0@sha256:70a9fc646bae3a85967224c7c42b2e49155461d6124c487bbcc1d825111a189d,9682
- morley-prelude-0.4.0@sha256:7234db1acac9a5554d01bdbf22d63b598c69b9fefaeace0fb6f765bf7bf738d4,2176
- base58-bytestring-0.1.0
- hex-text-0.1.0.0
- show-type-0.1.1
- named-0.3.0.1@sha256:2975d50c9c5d88095026ffc1303d2d9be52e5f588a8f8bcb7003a04b79f10a06,2312
- cryptonite-0.27
- uncaught-exception-0.1.0
- tasty-hunit-compat-0.2.0.1
- with-utf8-1.0.2.2@sha256:42eed140390b3e93d9482b084d1d0150e8774667f39c33bd47e84815751fad09,3057
#########################################################################
# For special deps that are similar to Michelson but not quite the same #
#########################################################################
- base-noprelude-4.13.0.0@sha256:3cccbfda38e1422ca5cc436d58858ba51ff9114d2ed87915a6569be11e4e5a90,6842
####################################
# For Interaction Nets json-schema #
####################################
- github: cryptiumlabs/jsonschema-gen
commit: 0639cd166ec59a04d07a3a7d49bdf343e567000e
######################################################
# Shared Deps Between Arithmetic Circuits and Morley #
######################################################
- git: https://github.com/serokell/elliptic-curve.git
commit: b8a3d0cf8f7bacfed77dc3b697f5d08bd33396a8
- git: https://github.com/serokell/pairing.git
commit: cf86cf1f6b03f478a439703b050c520a9d455353
- git: https://github.com/serokell/galois-field.git
commit: 576ba98ec947370835a1f308895037c7aa7f8b71
##############################################
# Sub dependencies of arithmetic-circuit git #
##############################################
- constraints-extras-0.3.0.2@sha256:bf6884be65958e9188ae3c9e5547abfd6d201df021bff8a4704c2c4fe1e1ae5b,1784
- dependent-sum-0.7.1.0@sha256:5599aa89637db434431b1dd3fa7c34bc3d565ee44f0519bfbc877be1927c2531,2068
- dependent-sum-template-0.1.0.3@sha256:0bbbacdfbd3abf2a15aaf0cf2c27e5bdd159b519441fec39e1e6f2f54424adde,1682
- hashing-0.1.0.1@sha256:98861f16791946cdf28e3c7a6ee9ac8b72d546d6e33c569c7087ef18253294e7,2816
- monoidal-containers-0.6.0.1@sha256:7d776942659eb4d70d8b8da5d734396374a6eda8b4622df9e61e26b24e9c8e40,2501
allow-newer: true