/distrib/debian/

• ../
• README.Debian
• changelog
• control
• copyright
• coq.emacsen-install
• coq.emacsen-remove
• coq.emacsen-startup
• dirs
• docs
• rules