/usr/lib/coq/user-contrib/AAC_tactics/*.v
                          /usr/lib/coq/user-contrib/AAC_tactics/*.vo
html/*                    /usr/share/doc/libaac-tactics-coq/theories