aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
blob: 1ad928925c4eb574458527454cca5e248f88a7fe (plain) (blame)
1
2
3
4
(executable
 (name main)
 (public_name sol)
 (libraries sol))