dd53df8fa4d462da87004a341aa17f2c2466ee90
[debian/openrocket] / debian / patches / series
1 debian-build.source.diff
2 openjdk-is-ok.diff
3 use-system-libs.diff