series « patches « debian - debian-gudhi - Debian package for GUDHI.

summary refs log tree commit diff

path: root/debian/patches/series

blob: 093461ad298db2ee91e9e5b0a838a0fe8b9c028a (plain)

1
2
3

0001-Stash-flags.patch
0002-Don-t-use-static-boost.patch
0003-Disable-some-tests-that-uncleanly-write-outside-the-.patch