/debian/
../
README.github
README.lisps
README.source
TODO
changelog
clean
compat
control
copyright
open-axiom-databases.install
open-axiom-graphics-data.install
open-axiom-graphics.install
open-axiom-hypertex-data.install
open-axiom-hypertex-data.links
open-axiom-hypertex.install
open-axiom-source.install
open-axiom-test.install
open-axiom-tex.install
open-axiom.desktop
open-axiom.docs
open-axiom.install
open-axiom.manpages
open-axiom.menu
open-axiom.xpm
patches
rules
source
watch