aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan-Christofer Demay <jcdemay@gmail.com>2011-02-13 21:29:05 +0000
committerJonathan-Christofer Demay <jcdemay@gmail.com>2011-02-13 21:29:05 +0000
commit2b450aaac3f012e97b9ada603893e7271cdffb2b (patch)
tree9ec4d3249a1622ec036ce5e9c318a76457f5964b /dev-ml/ocamlgraph/files
parentsci-mathematics/gappalib-coq: version bump (diff)
downloadsci-2b450aaac3f012e97b9ada603893e7271cdffb2b.tar.gz
sci-2b450aaac3f012e97b9ada603893e7271cdffb2b.tar.bz2
sci-2b450aaac3f012e97b9ada603893e7271cdffb2b.zip
dev-ml/ocamlgraph: version bump
Diffstat (limited to 'dev-ml/ocamlgraph/files')
-rw-r--r--dev-ml/ocamlgraph/files/ocamlgraph-makefile.patch (renamed from dev-ml/ocamlgraph/files/ocamlgraph-1.5-makefile.patch)0
1 files changed, 0 insertions, 0 deletions
diff --git a/dev-ml/ocamlgraph/files/ocamlgraph-1.5-makefile.patch b/dev-ml/ocamlgraph/files/ocamlgraph-makefile.patch
index 3e25630c5..3e25630c5 100644
--- a/dev-ml/ocamlgraph/files/ocamlgraph-1.5-makefile.patch
+++ b/dev-ml/ocamlgraph/files/ocamlgraph-makefile.patch