| Diff file | facile_1.1-7.diff.gz | |
|---|---|---|
| Size | 5650 | |
| MD5sum | 68c2aa869b1e3aee482cbb44a33ea082 | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 10-srcMakefile | src/Makefile | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) |
view | download |
| 20-Makefile | Makefile | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) |
view | download |
| 30-non-opt-check | Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |
| 40-allow-ocamlc-override-in-examples | examples/Makefile | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) |
view | download |