| Diff file | otter_3.3f-1.diff.gz | |
|---|---|---|
| Size | 7134 | |
| MD5sum | c882f71fa5e5d8e2cd444de216cc9cf6 | |
| ./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 | 11 | 5 | 0 | view | download |