Index of /ubuntu/pool/universe/o/open-axiom

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 open-axiom-databases..> 11-Oct-2012 19:23  1.3M  
 open-axiom-databases..> 01-Feb-2015 23:18  912K  
 open-axiom-graphics-..> 11-Oct-2012 19:23  7.8K  
 open-axiom-graphics-..> 01-Feb-2015 23:18  8.1K  
 open-axiom-graphics_..> 11-Oct-2012 19:23  169K  
 open-axiom-graphics_..> 11-Oct-2012 19:23  159K  
 open-axiom-graphics_..> 01-Feb-2015 23:18  120K  
 open-axiom-graphics_..> 01-Feb-2015 23:18  118K  
 open-axiom-hypertex-..> 11-Oct-2012 19:23  1.4M  
 open-axiom-hypertex-..> 01-Feb-2015 23:18  1.0M  
 open-axiom-hypertex_..> 11-Oct-2012 19:23  121K  
 open-axiom-hypertex_..> 11-Oct-2012 19:23  115K  
 open-axiom-hypertex_..> 01-Feb-2015 23:18   92K  
 open-axiom-hypertex_..> 01-Feb-2015 23:18   94K  
 open-axiom-source_1...> 11-Oct-2012 19:23  1.1M  
 open-axiom-source_1...> 01-Feb-2015 23:18  841K  
 open-axiom-test_1.4...> 11-Oct-2012 19:23  198K  
 open-axiom-test_1.5...> 01-Feb-2015 23:18  147K  
 open-axiom-tex_1.4.1..> 11-Oct-2012 19:23  4.7K  
 open-axiom-tex_1.5.0..> 01-Feb-2015 23:18  5.3K  
 open-axiom_1.4.1+svn..> 11-Oct-2012 18:11   15K  
 open-axiom_1.4.1+svn..> 11-Oct-2012 18:11  2.0K  
 open-axiom_1.4.1+svn..> 11-Oct-2012 19:23   25M  
 open-axiom_1.4.1+svn..> 11-Oct-2012 19:23   23M  
 open-axiom_1.4.1+svn..> 22-May-2012 01:35   11M  
 open-axiom_1.5.0~svn..> 01-Feb-2015 22:48   15K  
 open-axiom_1.5.0~svn..> 01-Feb-2015 22:48  2.5K  
 open-axiom_1.5.0~svn..> 01-Feb-2015 23:18   19M  
 open-axiom_1.5.0~svn..> 01-Feb-2015 23:18   18M  
 open-axiom_1.5.0~svn..> 01-Feb-2015 22:48  7.6M