[widelands] 01/15: Actually, I'm not sure that lua-eris is worthing a separate package yet

Martin Quinson mquinson at moszumanska.debian.org
Sat Nov 19 21:32:07 UTC 2016


This is an automated email from the git hooks/post-receive script.

mquinson pushed a commit to branch master
in repository widelands.

commit 033d21f653a8ce8f15dca4333f218aec17d64790
Author: Martin Quinson <martin.quinson at loria.fr>
Date:   Sat Nov 19 16:52:04 2016 +0100

    Actually, I'm not sure that lua-eris is worthing a separate package yet
---
 debian/Debian.todo | 11 +++++++++++
 debian/changelog   |  4 ----
 2 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/debian/Debian.todo b/debian/Debian.todo
new file mode 100644
index 0000000..688ecac
--- /dev/null
+++ b/debian/Debian.todo
@@ -0,0 +1,11 @@
+This package embeeds lua-eris ( https://github.com/fnuecke/eris ), a
+patched version of Lua 5.3 for better data persistance. It replaces
+and provides the classical lua interpreter.
+
+This library should be packaged separately, but widelands already
+changed its lua version several times in the past, and this perticular
+version does not seem to be widely used. I would prefer to see some
+real interest from other communities before separating lua-eris.
+
+
+                              -- Martin Quinson, November 2016.
\ No newline at end of file
diff --git a/debian/changelog b/debian/changelog
index 97734b7..73f1e1b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,5 @@
 widelands (1:19+repack-1) UNRELEASED; urgency=medium
 
-  This package is not ready for unstable because it embeeds lua-eris
-  in src/third_party. We should package this software for Debian and
-  use the system version instead.
-
   * New upstream release. New features highlight:
     - Seafaring AI and other AI improvements
     - Message filtering

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/widelands.git



More information about the Pkg-games-commits mailing list