(lang dune 3.21)
(name herdtools7)
(version aslref-v1.0_draft.2-116-g80aea03)
(sections
 (lib /build/herdtools7-git/pkg/herdtools7-git/usr/lib/herdtools7)
 (bin /build/herdtools7-git/pkg/herdtools7-git/usr/bin)
 (doc /build/herdtools7-git/pkg/herdtools7-git/usr/doc/herdtools7))
(files
 (lib (META dune-package opam))
 (bin
  (atomize7
   atoms7
   bento
   cat2html7
   cat2lisp
   cat2table7
   classify7
   diy7
   diycross7
   diymicro7
   diymicroenum7
   diyone7
   dot2desc7
   gen_theme7
   herd7
   jingle7
   klitmus7
   knames7
   ksort7
   litmus7
   madd7
   mapply7
   mcat2config7
   mcat2includes7
   mcmp7
   mcompare7
   mcond7
   mcycles7
   mdiag7
   mdiff7
   mexpand7
   mfilter7
   mfind7
   mflags7
   mhash7
   miaou7
   mlisa2c7
   mlock7
   mlog2cond7
   mlog2name7
   mmixer7
   mnames7
   mobserved7
   moutcomes7
   mprog7
   mproj7
   mrcu7
   mselect7
   mshowhashes7
   msort7
   msum7
   mtopos7
   mtrue7
   nexts7
   norm7
   readRelax7
   recond7
   rehash7
   splitcond7
   splitdot7))
 (doc
  (CHANGES.txt LICENSE.txt README-tests.md README.md odoc-pages/index.mld)))
