[ 14:25 ohauer  ]

• 1.5 games/0verkill/distinfo
• 1.4 games/3dc/distinfo
• 1.8 games/3dpong/distinfo
• 1.5 games/44bsd-hunt/distinfo
• 1.4 games/4stattack/distinfo
• 1.4 games/54321/distinfo
• 1.2 games/8kingdoms/distinfo
• 1.4 games/BillardGL/distinfo
• 1.4 games/CaribbeanStud/distinfo
• 1.5 games/KnightCap/distinfo

-remove MD5

[ 14:08 barner  ]

• 1.3 audio/p5-Audio-WMA/distinfo
• 1.2 audio/p5-Ogg-Vorbis-Header/distinfo
• 1.2 devel/kcachegrind/distinfo
• 1.2 devel/py-elementtree/distinfo
• 1.5 devel/stlfilt/distinfo
• 1.3 devel/valgrind-snapshot/distinfo
• 1.3 devel/valgrind/distinfo
• 1.7 editors/mlview/distinfo
• 1.6 games/clanbomber/distinfo
• 1.3 games/gnmm/distinfo

Add SHA256 for my ports (that don't already have it).

[ 01:20 trevor  ]

• 1.2 editors/mlview/distinfo
• 1.4 games/clanbomber/distinfo
• 1.2 games/gnmm/distinfo
• 1.2 games/xcheckers/distinfo
• 1.3 multimedia/nxtvepg/distinfo
• 1.2 sysutils/linneighborhood/distinfo

Add size data.

Approved by:    Simon Barner (maintainer)

[ 13:12 edwin  ]

• 1.589 games/Makefile
• 1.1 games/gnmm/Makefile
• 1.1 games/gnmm/distinfo
• 1.1 games/gnmm/files/patch-Makefile.in
• 1.1 games/gnmm/pkg-descr
• 1.1 games/gnmm/pkg-plist

New port: games/gnmm (GNOME Nine mens' morris)

        This is a port for a "nine men's morris" implementation for
        the GNOME Desktop.  It is supposed to be GNOMENG conform.

PR:             ports/47220
Submitted by:   Simon Barner <barner@in.tum.de>