| Diff file | alt-ergo_0.91-2.diff.gz | |
|---|---|---|
| Size | 10689 | |
| MD5sum | 47c85848a4dbf7991e0cd6782a9676bd | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 0001-No-need-to-activate-debug-flag.patch | Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |
| 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch | Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) |
view | download |
| 0003-Fix-a-typo.patch | cc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |