(library
 (name debian)
 (public_name ben.templates.debian)
 (libraries tyxml ben_frontends)
 (modules debian))

(library
 (name debianrt)
 (public_name ben.templates.debianrt)
 (libraries tyxml ben_frontends)
 (modules debianrt))
