-
Notifications
You must be signed in to change notification settings - Fork 157
/
Copy pathdune
64 lines (61 loc) · 881 Bytes
/
dune
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
(executables
(names
readme
trees
sync
process
deploy
irmin_git_store
custom_merge
push
custom_graphql
custom_storage
fold)
(libraries
astring
cohttp
fmt
irmin.unix
irmin-git.unix
irmin-graphql.unix
irmin-pack.unix
irmin-watcher
mirage-crypto-rng.unix
websocket-lwt-unix
conduit-lwt-unix
lwt
lwt.unix)
(preprocess
(pps ppx_irmin)))
(alias
(name examples)
(deps
readme.exe
trees.exe
sync.exe
process.exe
deploy.exe
push.exe
irmin_git_store.exe
custom_merge.exe
custom_graphql.exe
fold.exe
custom_storage.exe))
(alias
(name runtest)
(package irmin-cli)
(deps
readme.exe
trees.exe
sync.exe
process.exe
deploy.exe
push.exe
irmin_git_store.exe
custom_merge.exe
fold.exe))
(mdx
(files merkle_proofs.md)
; (preludes merkle_proofs_prelude.ml)
(package irmin-cli)
(packages irmin-cli))