| Debian changes tarfile | otags_3.09.3-4.debian.tar.gz | |
|---|---|---|
| Size | 7650 | |
| MD5sum | 43f31ad932e6d5fd53a4a2efc0f6a971 | |
| patch | summary | view | raw |
|---|---|---|---|
| 0001-Change-install-directory.patch | Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) |
view | download |
| 0002-Use-camlp5-instead-of-camlp4.patch | Makefile | 8 ++++---- Makefile.here.tpl | 4 +++- configure | 2 +- editor.ml | 2 +- mk_conf | 2 +- pr.ml | 23 ++++++++++++++++++----- splay.ml | 4 ++-- 7 files changed, 30 insertions(+), 15 deletions(-) |
view | download |
| 0003-Do-not-set-an-upper-bound-on-supported-OCaml-version.patch | configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |