This page shows all known information about package tao-config-dev.
tao-config-dev - header library that reads config files and produces a JSON value
From source: tao-config
debian/control- Section
- Architecture
- Distribution