summaryrefslogtreecommitdiff
path: root/gemini/dune
blob: 2025fa99173f2d1333dc8e7497d659878e3f2c9e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(library
 (name gemini)
 (libraries
	base
	angstrom
	angstrom-lwt-unix
	lwt
	lwt_ppx
	mirage-crypto-pk
	mirage-crypto-rng.lwt
	ptime
	stdlib
	tls.lwt
	uri)
 (preprocess (pps lwt_ppx)))