Package: dune-common / 2.3.1-1

Metadata

Package Version Patches format
dune-common 2.3.1-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
soname.patch | (download)

lib/Makefile.am | 1 1 + 0 - 0 !
1 file changed, 1 insertion(+)

---
dune autogen.patch | (download)

bin/dune-autogen | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---
skip dirs starting with dot.patch | (download)

lib/dunemodules.lib | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 skip directories starting with a dot when looking for dune.module

rename git whitespace hook.patch | (download)

bin/dunecontrol | 17 14 + 3 - 0 !
1 file changed, 14 insertions(+), 3 deletions(-)

 rename git-whitespace-hook to dune-git-whitespace-hook.

The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.