debian specific patch information for planets / 0.1.13-13

Summary

Package Version Package Type Source Package Format
0.1.13-13 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile planets_0.1.13-13.debian.tar.gz
Size6798
MD5sum3fc1e6b57be8220482917baec16b1329

"series" style patches

patch summary view raw
buildflags
 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
view download
string_random_bodies
 display.ml  |    2 +-
 lstrings.ml |    1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
view download
fix_desktop_file
 planets.desktop |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
view download
german_translation
 lstrings.ml |   60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
view download