(lang dune 3.20)
(name coq-reglang)
(version dev)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-reglang)
 (lib_root /usr/lib/aarch64-linux-gnu/ocaml/5.4.0)
 (doc /usr/doc/coq-reglang))
(files
 (lib (META dune-package opam))
 (lib_root
  (coq/user-contrib/RegLang/dfa.glob
   coq/user-contrib/RegLang/dfa.v
   coq/user-contrib/RegLang/dfa.vo
   coq/user-contrib/RegLang/languages.glob
   coq/user-contrib/RegLang/languages.v
   coq/user-contrib/RegLang/languages.vo
   coq/user-contrib/RegLang/minimization.glob
   coq/user-contrib/RegLang/minimization.v
   coq/user-contrib/RegLang/minimization.vo
   coq/user-contrib/RegLang/misc.glob
   coq/user-contrib/RegLang/misc.v
   coq/user-contrib/RegLang/misc.vo
   coq/user-contrib/RegLang/myhill_nerode.glob
   coq/user-contrib/RegLang/myhill_nerode.v
   coq/user-contrib/RegLang/myhill_nerode.vo
   coq/user-contrib/RegLang/nfa.glob
   coq/user-contrib/RegLang/nfa.v
   coq/user-contrib/RegLang/nfa.vo
   coq/user-contrib/RegLang/regexp.glob
   coq/user-contrib/RegLang/regexp.v
   coq/user-contrib/RegLang/regexp.vo
   coq/user-contrib/RegLang/setoid_leq.glob
   coq/user-contrib/RegLang/setoid_leq.v
   coq/user-contrib/RegLang/setoid_leq.vo
   coq/user-contrib/RegLang/shepherdson.glob
   coq/user-contrib/RegLang/shepherdson.v
   coq/user-contrib/RegLang/shepherdson.vo
   coq/user-contrib/RegLang/two_way.glob
   coq/user-contrib/RegLang/two_way.v
   coq/user-contrib/RegLang/two_way.vo
   coq/user-contrib/RegLang/vardi.glob
   coq/user-contrib/RegLang/vardi.v
   coq/user-contrib/RegLang/vardi.vo
   coq/user-contrib/RegLang/wmso.glob
   coq/user-contrib/RegLang/wmso.v
   coq/user-contrib/RegLang/wmso.vo))
 (doc (LICENSE README.md)))
