| | | | |
| Offset 45, 38 lines modified | Offset 45, 38 lines modified |
| 45 | -rw-r--r--···0·root·········(0)·root·········(0)·····7975·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)·····7975·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)····10238·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)····10238·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)·····6916·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)·····6916·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)·····6817·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)·····6817·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)·····7264·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)·····7264·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)····10173·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)····10173·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)·····6126·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/makefile.gz | 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 |
| 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)·····6010·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)·····6010·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)·····5635·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)·····5635·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/ |