++======================================== || || Package: ./academic/aris/aris-2.1.1-i486-1_slack.txz || ++======================================== drwxr-xr-x root/root 0 2015-03-02 09:26 ./ drwxr-xr-x root/root 0 2015-03-02 09:26 usr/ drwxr-xr-x root/root 0 2015-03-02 09:26 usr/bin/ -rwxr-xr-x root/root 194944 2015-03-02 09:26 usr/bin/test -rwxr-xr-x root/root 208320 2015-03-02 09:26 usr/bin/aris drwxr-xr-x root/root 0 2015-03-02 09:26 usr/doc/ drwxr-xr-x root/root 0 2015-03-02 09:26 usr/doc/aris-2.1.1/ -rw-r--r-- root/root 2225 2015-03-02 09:26 usr/doc/aris-2.1.1/aris.SlackBuild drwxr-xr-x root/root 0 2013-08-29 19:23 usr/doc/aris-2.1.1/html/ -rw-r--r-- root/root 4286 2013-09-14 11:05 usr/doc/aris-2.1.1/html/lm.html -rw-r--r-- root/root 5205 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Isabelle_002fIsar.html -rw-r--r-- root/root 3513 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ei.html -rw-r--r-- root/root 3753 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Adding.html -rw-r--r-- root/root 3377 2013-09-14 11:05 usr/doc/aris-2.1.1/html/co.html -rw-r--r-- root/root 3932 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Selecting.html -rw-r--r-- root/root 4869 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Rules-Table.html -rw-r--r-- root/root 3106 2013-09-14 11:05 usr/doc/aris-2.1.1/html/sn.html -rw-r--r-- root/root 3409 2013-09-14 11:05 usr/doc/aris-2.1.1/html/eq.html -rw-r--r-- root/root 3535 2013-09-14 11:05 usr/doc/aris-2.1.1/html/bv.html -rw-r--r-- root/root 3393 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ds.html -rw-r--r-- root/root 3326 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ui.html -rw-r--r-- root/root 5050 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Equivalence-Rules.html -rw-r--r-- root/root 3469 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Startup.html -rw-r--r-- root/root 2886 2013-09-14 11:05 usr/doc/aris-2.1.1/html/other.html -rw-r--r-- root/root 37920 2013-09-14 11:05 usr/doc/aris-2.1.1/html/index.html -rw-r--r-- root/root 4269 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Dialog.html -rw-r--r-- root/root 3280 2013-09-14 11:05 usr/doc/aris-2.1.1/html/bd.html -rw-r--r-- root/root 3254 2013-09-14 11:05 usr/doc/aris-2.1.1/html/dn.html -rw-r--r-- root/root 3024 2013-09-14 11:05 usr/doc/aris-2.1.1/html/class.html -rw-r--r-- root/root 3048 2013-09-14 11:05 usr/doc/aris-2.1.1/html/fun.html -rw-r--r-- root/root 3195 2013-09-14 11:05 usr/doc/aris-2.1.1/html/cd.html -rw-r--r-- root/root 3858 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Recursion.html -rw-r--r-- root/root 3336 2013-09-14 11:05 usr/doc/aris-2.1.1/html/eg.html -rw-r--r-- root/root 4421 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Inference-Rules.html -rw-r--r-- root/root 3321 2013-09-14 11:05 usr/doc/aris-2.1.1/html/dt.html -rw-r--r-- root/root 7507 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Proof-Windows.html -rw-r--r-- root/root 3323 2013-09-14 11:05 usr/doc/aris-2.1.1/html/in.html -rw-r--r-- root/root 3866 2013-09-14 11:05 usr/doc/aris-2.1.1/html/hs.html -rw-r--r-- root/root 3058 2013-09-14 11:05 usr/doc/aris-2.1.1/html/case.html -rw-r--r-- root/root 13579 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Terms.html -rw-r--r-- root/root 4932 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Submission.html -rw-r--r-- root/root 3559 2013-09-14 11:05 usr/doc/aris-2.1.1/html/mp.html -rw-r--r-- root/root 3048 2013-09-14 11:05 usr/doc/aris-2.1.1/html/definition.html -rw-r--r-- root/root 3240 2013-09-14 11:05 usr/doc/aris-2.1.1/html/bi.html -rw-r--r-- root/root 3319 2013-09-14 11:05 usr/doc/aris-2.1.1/html/lemma_002ftheorem.html -rw-r--r-- root/root 3036 2013-09-14 11:05 usr/doc/aris-2.1.1/html/datatype.html -rw-r--r-- root/root 3548 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ad.html -rw-r--r-- root/root 4369 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Axioms.html -rw-r--r-- root/root 3006 2013-09-14 11:05 usr/doc/aris-2.1.1/html/instance.html -rw-r--r-- root/root 4051 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Basic-Usage.html -rw-r--r-- root/root 3498 2013-09-14 11:05 usr/doc/aris-2.1.1/html/as.html -rw-r--r-- root/root 4381 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Other-Key-Shortcuts.html -rw-r--r-- root/root 3747 2013-09-14 11:05 usr/doc/aris-2.1.1/html/cn.html -rw-r--r-- root/root 3123 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ep.html -rw-r--r-- root/root 3250 2013-09-14 11:05 usr/doc/aris-2.1.1/html/id.html -rw-r--r-- root/root 3495 2013-09-14 11:05 usr/doc/aris-2.1.1/html/sm.html -rw-r--r-- root/root 3449 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Connectives.html -rw-r--r-- root/root 3154 2013-09-14 11:05 usr/doc/aris-2.1.1/html/sq.html -rw-r--r-- root/root 3392 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Interoperability.html -rw-r--r-- root/root 5124 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Config-File.html -rw-r--r-- root/root 3221 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Induction.html -rw-r--r-- root/root 3244 2013-09-14 11:05 usr/doc/aris-2.1.1/html/fv.html -rw-r--r-- root/root 4810 2013-07-31 08:40 usr/doc/aris-2.1.1/html/Keyboard-Shortcuts.html -rw-r--r-- root/root 3401 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Syntax.html -rw-r--r-- root/root 4050 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Boolean-Rules.html -rw-r--r-- root/root 3204 2013-09-14 11:05 usr/doc/aris-2.1.1/html/im.html -rw-r--r-- root/root 3924 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Sequence-Logic.html -rw-r--r-- root/root 4125 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Menu-Options.html -rw-r--r-- root/root 3200 2013-09-14 11:05 usr/doc/aris-2.1.1/html/dm.html -rw-r--r-- root/root 3474 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ug.html -rw-r--r-- root/root 3180 2013-09-14 11:05 usr/doc/aris-2.1.1/html/sb.html -rw-r--r-- root/root 3024 2013-09-14 11:05 usr/doc/aris-2.1.1/html/primrec.html -rw-r--r-- root/root 3190 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ex.html -rw-r--r-- root/root 4372 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Rules-Index.html -rw-r--r-- root/root 4721 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Predicate-Rules.html -rw-r--r-- root/root 3366 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Introduction.html -rw-r--r-- root/root 3140 2013-09-14 11:05 usr/doc/aris-2.1.1/html/ii.html -rw-r--r-- root/root 3168 2013-09-14 11:05 usr/doc/aris-2.1.1/html/sp.html -rw-r--r-- root/root 3627 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Customization.html -rw-r--r-- root/root 3219 2013-09-14 11:05 usr/doc/aris-2.1.1/html/bn.html -rw-r--r-- root/root 5420 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Options.html -rw-r--r-- root/root 3090 2013-09-14 11:05 usr/doc/aris-2.1.1/html/type_005fsynonym.html -rw-r--r-- root/root 3653 2013-09-14 11:05 usr/doc/aris-2.1.1/html/Miscellaneous-Rules.html -rw-r--r-- root/root 3292 2013-09-14 11:05 usr/doc/aris-2.1.1/html/nq.html -rw-r--r-- root/root 3403 2013-09-14 11:05 usr/doc/aris-2.1.1/html/pr.html -rw-r--r-- root/root 1506 2013-08-29 21:26 usr/doc/aris-2.1.1/README drwxr-xr-x root/root 0 2015-03-02 09:26 usr/info/ -rw-r--r-- root/root 22554 2013-09-14 11:04 usr/info/aris.info.gz drwxr-xr-x root/root 0 2015-03-02 09:26 install/ -rw-r--r-- root/root 1033 2015-03-02 09:26 install/slack-desc