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

about summary refs log tree commit diff stats

path: root/driver/dune

blob: 5dbfcad786b177f6ef9a547672645b68a8e1375f (plain)

(include_subdirs no)

(executable
 (name CoqupDriver)
 (libraries coqup))