| Parent directory/ | - | - |
| open-axiom-graphics-data_1.5.0~svn3056+ds-1_all...> | 8.1 KiB | 2015-Feb-02 00:18 |
| open-axiom-hypertex-data_1.5.0~svn3056+ds-1_all...> | 1009.7 KiB | 2015-Feb-02 00:18 |
| open-axiom-tex_1.5.0~svn3056+ds-1_all.deb | 5.3 KiB | 2015-Feb-02 00:18 |
| open-axiom-test_1.5.0~svn3056+ds-1_all.deb | 147.1 KiB | 2015-Feb-02 00:18 |
| open-axiom-graphics_1.5.0~svn3056+ds-1_amd64.deb | 120.0 KiB | 2015-Feb-02 00:18 |
| open-axiom-source_1.5.0~svn3056+ds-1_all.deb | 841.2 KiB | 2015-Feb-02 00:18 |
| open-axiom-hypertex_1.5.0~svn3056+ds-1_amd64.deb | 92.0 KiB | 2015-Feb-02 00:18 |
| open-axiom_1.5.0~svn3056+ds-1_amd64.deb | 19.1 MiB | 2015-Feb-02 00:18 |
| open-axiom-databases_1.5.0~svn3056+ds-1_all.deb | 912.5 KiB | 2015-Feb-02 00:18 |
| open-axiom_1.5.0~svn3056+ds-1.dsc | 2.5 KiB | 2015-Feb-01 23:48 |
| open-axiom_1.5.0~svn3056+ds.orig.tar.xz | 7.6 MiB | 2015-Feb-01 23:48 |
| open-axiom_1.5.0~svn3056+ds-1.debian.tar.gz | 15.2 KiB | 2015-Feb-01 23:48 |
| open-axiom-graphics-data_1.4.1+svn~2626-2ubuntu2..> | 7.8 KiB | 2012-Oct-11 20:23 |
| open-axiom-databases_1.4.1+svn~2626-2ubuntu2_all..> | 1.3 MiB | 2012-Oct-11 20:23 |
| open-axiom-test_1.4.1+svn~2626-2ubuntu2_all.deb | 197.5 KiB | 2012-Oct-11 20:23 |
| open-axiom-tex_1.4.1+svn~2626-2ubuntu2_all.deb | 4.7 KiB | 2012-Oct-11 20:23 |
| open-axiom-source_1.4.1+svn~2626-2ubuntu2_all.deb | 1.1 MiB | 2012-Oct-11 20:23 |
| open-axiom-hypertex-data_1.4.1+svn~2626-2ubuntu2..> | 1.4 MiB | 2012-Oct-11 20:23 |
| open-axiom_1.4.1+svn~2626-2ubuntu2_amd64.deb | 24.8 MiB | 2012-Oct-11 20:23 |
| open-axiom-graphics_1.4.1+svn~2626-2ubuntu2_amd6..> | 168.6 KiB | 2012-Oct-11 20:23 |
| open-axiom-hypertex_1.4.1+svn~2626-2ubuntu2_amd6..> | 121.3 KiB | 2012-Oct-11 20:23 |
| open-axiom_1.4.1+svn~2626-2ubuntu2.dsc | 2.0 KiB | 2012-Oct-11 19:11 |
| open-axiom_1.4.1+svn~2626-2ubuntu2.debian.tar.gz | 14.8 KiB | 2012-Oct-11 19:11 |
| open-axiom_1.4.1+svn~2626.orig.tar.gz | 11.1 MiB | 2012-May-22 02:35 |
