Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
0004-Using-graph.cm-a-xa-instead-of-graph.cm-o-x.patch | 2009-06-03 18:29 | 621 | ||
0005-Full-path-for-ocamlgraph-cmo-otherwise-Makefile-will.patch | 2009-06-03 18:29 | 722 | ||
0001-Gui_includes-variable-should-include-ocamlgraph-too.patch | 2009-06-03 18:29 | 821 | ||
0007-Ergo-is-Alt-ergo.patch | 2009-06-03 18:29 | 1.0K | ||
0002-Make-the-jessie-plugin-compatible-with-why-2.18.patch | 2009-06-03 18:29 | 1.1K | ||
0006-Do-not-install-non-existant-files.patch | 2009-06-03 18:29 | 1.2K | ||
0003-Correctly-detect-jessie-plugin.patch | 2009-06-03 18:29 | 1.5K | ||