dune « debug - vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/debug/dune

blob: feee97c3173b3056f6dd446d2ba3bfc3b9936763 (plain)

(include_subdirs no)

(executable
 (name VericertTest)
 (libraries vericert))