dune « src - cmdliner - Debian dgit repo for package cmdliner

summary refs log tree commit diff

path: root/src/dune

blob: b9ef5c9a15b0a8c6e76d2a42725380044fd3a1c9 (plain)

(library
 (public_name cmdliner)
 (flags :standard -w -3-6-27-32-35)
 (wrapped false))