aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
blob: 6fc5388010d0dbeccf45d83a7fc3167135256060 (plain) (blame)
1
2
3
4
5
6
(include_subdirs qualified)

(library
 (name rnt)
 (public_name rnt)
 (libraries batteries ctypes ctypes-foreign))