; generated by drom from package skeleton 'driver'
(executable
  (name main)
  (public_name psmt2-frontend_bin)
  (package psmt2-frontend_bin)
  (libraries psmt2-frontend )
  
  
  )


(documentation
  (package psmt2-frontend_bin))



