Hello,
I am finishing the update to the widelands packaging, and upstream
decided to change there lua version again. They picked lua-eris, a
fork of lua5.3 intended to help persistency.
I considered packaging this fork separately, but I'm not sure that it
would help for the following reasons:
- not sure that this fork will survive on the long term, and widelands
upstream may change their mind again (so I don't want to bloat the
archive).
- this fork cannot be built on top of lua5.3 but must be packaged
separatly.
So, I propose the attached patch to the list of embeeded copies. I was
thinking I could commit it myself, but I fail (and I'd prefer to have
your approval here).
Index: embedded-code-copies
===================================================================
--- embedded-code-copies (révision 46343)
+++ embedded-code-copies (copie de travail)
@@ -3047,6 +3047,8 @@
lua5.3
- freedroidrpg <unfixed> (embed)
+ - widelands <unfixed> (fork)
+ NOTE: widelands embeeds the Eris fork of lua5.3
android-platform-system-core
- android-tools <unfixed> (old-version)
Thanks for your hard work,
Mt.
--
The only statistics you can trust are those you falsified yourself.
-- Winston Churchill
Index: embedded-code-copies =================================================================== --- embedded-code-copies (révision 46343) +++ embedded-code-copies (copie de travail) @@ -3047,6 +3047,8 @@ lua5.3 - freedroidrpg <unfixed> (embed) + - widelands <unfixed> (fork) + NOTE: widelands embeeds the Eris fork of lua5.3 android-platform-system-core - android-tools <unfixed> (old-version)
Attachment:
signature.asc
Description: PGP signature