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

../
open-axiom-databases_1.5.0+2022.09.17.git.be964..> 29-Oct-2022 10:32    917K
open-axiom-dbgsym_1.5.0+2022.09.17.git.be9640c+..> 29-Oct-2022 10:32    999K
open-axiom-graphics-data_1.5.0+2022.09.17.git.b..> 29-Oct-2022 10:32     24K
open-axiom-graphics-dbgsym_1.5.0+2022.09.17.git..> 29-Oct-2022 10:32    715K
open-axiom-graphics_1.5.0+2022.09.17.git.be9640..> 29-Oct-2022 10:32    136K
open-axiom-hypertex-data_1.5.0+2022.09.17.git.b..> 29-Oct-2022 10:32   1015K
open-axiom-hypertex-dbgsym_1.5.0+2022.09.17.git..> 29-Oct-2022 10:32    830K
open-axiom-hypertex_1.5.0+2022.09.17.git.be9640..> 29-Oct-2022 10:32    113K
open-axiom-source_1.5.0+2022.09.17.git.be9640c+..> 29-Oct-2022 10:32    860K
open-axiom-test_1.5.0+2022.09.17.git.be9640c+ds..> 29-Oct-2022 10:32    164K
open-axiom-tex_1.5.0+2022.09.17.git.be9640c+ds-..> 29-Oct-2022 10:32     21K
open-axiom_1.5.0+2022.09.17.git.be9640c+ds-0pin..> 29-Oct-2022 10:32     23K
open-axiom_1.5.0+2022.09.17.git.be9640c+ds-0pin..> 29-Oct-2022 10:32    2714
open-axiom_1.5.0+2022.09.17.git.be9640c+ds-0pin..> 29-Oct-2022 10:32     17M
open-axiom_1.5.0+2022.09.17.git.be9640c+ds.orig..> 29-Oct-2022 10:32      8M