![[patchlogo]](http://patch-tracker.debian.org/static/img/swirlpatch.png)
| Diff file | otter_3.3f-1.1.diff.gz | |
|---|---|---|
| Size | 7248 | |
| MD5sum | ee42d1cd2f6d1a8bcde108c955d58582 | |
| ./debian only changes | view | download |
| non packaging (i.e. not ./debian) changes | view | download |
| file | inserted | deleted | modified | view | download |
|---|---|---|---|---|---|
| Makefile | 11 | 7 | 0 | view | download |
| documents/Makefile | 17 | 0 | 0 | view | download |
| documents/anldp.tex | 3 | 0 | 0 | view | download |
| documents/otter33.hva | 2 | 0 | 0 | view | download |
| documents/otter33.tex | 1 | 1 | 0 | view | download |
| examples/Loop/otter-ploop | 1 | 1 | 0 | view | download |
| examples/summary | 1 | 1 | 0 | view | download |
| mace2/Makefile | 5 | 5 | 0 | view | download |
| source/Makefile | 9 | 5 | 0 | view | download |
| source/formed/Makefile | 12 | 6 | 0 | view | download |