pkgs.loginroot.com
Home
Packages
Binaries
Package: open-axiom
"
open-axiom
" package binaries on
Debian
:
/usr/bin/open-axiom
/usr/lib/open-axiom/bin/asq
/usr/lib/open-axiom/bin/AXIOMsys
/usr/lib/open-axiom/bin/clef
/usr/lib/open-axiom/bin/sman
You may install this package on Debian with
apt-get install open-axiom