Index of /pool/main/o/open-axiom/


../
open-axiom-databases_1.5.0~svn3056+ds-1_all.deb    22-Jul-2020 16:25              937504
open-axiom-graphics-data_1.5.0~svn3056+ds-1_all..> 22-Jul-2020 14:24               11096
open-axiom-hypertex-data_1.5.0~svn3056+ds-1_all..> 22-Jul-2020 16:19             1039016
open-axiom-source_1.5.0~svn3056+ds-1_all.deb       22-Jul-2020 15:11              863910
open-axiom-test_1.5.0~svn3056+ds-1_all.deb         22-Jul-2020 16:53              150064
open-axiom-tex_1.5.0~svn3056+ds-1_all.deb          22-Jul-2020 14:32                8226