| | | |
Offset 45, 38 lines modified | Offset 45, 38 lines modified |
45 | -rw-r--r--···0·root·········(0)·root·········(0)·····7776·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/bdd_example.gz | 45 | -rw-r--r--···0·root·········(0)·root·········(0)·····7776·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/bdd_example.gz |
46 | -rw-r--r--···0·root·········(0)·root·········(0)····10010·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/gta_example.gz | 46 | -rw-r--r--···0·root·········(0)·root·········(0)····10010·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/gta_example.gz |
47 | -rw-r--r--···0·root·········(0)·root·········(0)·····7033·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_analysis.gz | 47 | -rw-r--r--···0·root·········(0)·root·········(0)·····7033·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_analysis.gz |
48 | -rw-r--r--···0·root·········(0)·root·········(0)·····6611·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_transduction.gz | 48 | -rw-r--r--···0·root·········(0)·root·········(0)·····6611·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_transduction.gz |
49 | -rw-r--r--···0·root·········(0)·root·········(0)······205·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab1.mona | 49 | -rw-r--r--···0·root·········(0)·root·········(0)······205·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab1.mona |
50 | -rw-r--r--···0·root·········(0)·root·········(0)······290·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab2.mona | 50 | -rw-r--r--···0·root·········(0)·root·········(0)······290·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab2.mona |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·····1824·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_example.c.gz | 51 | -rw-r--r--···0·root·········(0)·root·········(0)·····1824·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_example.c.gz |
52 | -rw-r--r--···0·root·········(0)·root·········(0)·····2671·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.gz | 52 | -rw-r--r--···0·root·········(0)·root·········(0)·····2670·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.gz |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····7050·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.o.gz | 53 | -rw-r--r--···0·root·········(0)·root·········(0)·····7050·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.o.gz |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····1677·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_volatility | 54 | -rw-r--r--···0·root·········(0)·root·········(0)·····1677·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_volatility |
55 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona | 55 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona |
56 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona | 56 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
57 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona | 57 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
58 | -rw-r--r--···0·root·········(0)·root·········(0)·····2133·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c.gz | 58 | -rw-r--r--···0·root·········(0)·root·········(0)·····2133·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c.gz |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····2686·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.gz | 59 | -rw-r--r--···0·root·········(0)·root·········(0)·····2685·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.gz |
60 | -rw-r--r--···0·root·········(0)·root·········(0)·····9795·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.o.gz | 60 | -rw-r--r--···0·root·········(0)·root·········(0)·····9795·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.o.gz |
61 | -rw-r--r--···0·root·········(0)·root·········(0)·····1853·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona.gz | 61 | -rw-r--r--···0·root·········(0)·root·········(0)·····1853·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona.gz |
62 | -rw-r--r--···0·root·········(0)·root·········(0)······774·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona.gz | 62 | -rw-r--r--···0·root·········(0)·root·········(0)······774·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona.gz |
63 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona | 63 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
64 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am | 64 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am |
65 | -rw-r--r--···0·root·········(0)·root·········(0)·····6123·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/makefile.gz | 65 | -rw-r--r--···0·root·········(0)·root·········(0)·····6121·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/makefile.gz |
66 | -rw-r--r--···0·root·········(0)·root·········(0)·····5954·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.in.gz | 66 | -rw-r--r--···0·root·········(0)·root·········(0)·····5954·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.in.gz |
67 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona | 67 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
68 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona | 68 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona |
69 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona | 69 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
70 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona | 70 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona |
71 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c | 71 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c |
72 | -rw-r--r--···0·root·········(0)·root·········(0)·····2696·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.gz | 72 | -rw-r--r--···0·root·········(0)·root·········(0)·····2695·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.gz |
73 | -rw-r--r--···0·root·········(0)·root·········(0)·····5438·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.o.gz | 73 | -rw-r--r--···0·root·········(0)·root·········(0)·····5438·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.o.gz |
74 | -rw-r--r--···0·root·········(0)·root·········(0)·····3924·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.c | 74 | -rw-r--r--···0·root·········(0)·root·········(0)·····3924·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.c |
75 | -rw-r--r--···0·root·········(0)·root·········(0)·····2695·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.gz | 75 | -rw-r--r--···0·root·········(0)·root·········(0)·····2694·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.gz |
76 | -rw-r--r--···0·root·········(0)·root·········(0)·····5297·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.o.gz | 76 | -rw-r--r--···0·root·········(0)·root·········(0)·····5297·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.o.gz |
77 | -rw-r--r--···0·root·········(0)·root·········(0)·····1673·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/regexp.mona | 77 | -rw-r--r--···0·root·········(0)·root·········(0)·····1673·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/regexp.mona |
78 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/ | 78 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/ |
79 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/ | 79 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/ |
80 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/mona/ | 80 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/mona/ |
81 | -rw-r--r--···0·root·········(0)·root·········(0)·····2916·2016-03-25·22:32:08.000000·./usr/share/emacs/site-lisp/mona/mona-mode.el | 81 | -rw-r--r--···0·root·········(0)·root·········(0)·····2916·2016-03-25·22:32:08.000000·./usr/share/emacs/site-lisp/mona/mona-mode.el |
82 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/lintian/ | 82 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/lintian/ |