On 2015-10-21 at 21:41, quoth Ludovic Courtès: >> + (name "dosbox") >> + (version "0.74") > > Rather 0.74.svn3947 or similar.
Right, fixed. >> + ;; Using SVN head, since the last release (2010) is >> incompatible >> + ;; with GCC5 (see >> + ;; >> <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=624976>). > > Sure, but we’re currently building with GCC 4.9. :-) Anyway, we’ll have > the problem sooner or later, so this is probably wise. I've fixed the comment. IIUC it's actually a problem with GCC 4.8+, but anyway :). >> + (description "DOSBox is a DOS-emulator that uses the SDL-library. >> DOSBox > > “the SDL library” Done. >> + (license license:gpl3))) > > According to dosbox-0.74.tar.gz, it’s GPLv2+, not GPLv3-only. Could you > double check? You're right, fixed. Cheers, p.
