(library
 (name bignums_syntax_plugin)
 (public_name coq-bignums.plugin)
 (flags :standard -rectypes)
 (libraries coq.vernac))

(include_subdirs no)
