gedit{,-plugins}: update to 47.0

[chrysos349]

@Gottox @mtboehlke

tepl was renamed to libgedit-tepl.

Testing the changes

• I tested the changes in this PR: briefly

Local build testing

• I built this PR locally for my native architecture, (x86_64)
• I built this PR locally for these architectures (if supported. mark crossbuilds):
  • aarch64-musl x
  • armv7l x
  • armv6l-musl x

[mtboehlke]

Looks good to me! I build with these changes locally and briefly tested gedit and gnome-latex with no issues.

Do you know if gnome-latex is getting a release soon that would make the patching unnecessary?

I saw that gtk3 is listed as an optional dependency for libgedit-gfls on its repo, but I couldn't get it to build without it. Maybe it could become just a check dependency if something like that PR is merged?

I think the transitional dummy package is the right way to handle the tepl change, and probably what I should have done with amtk.

[oreo639]

Making tepl a transitional package is not necessary. The tepl package provided libtepl.so.*, whereas libgedit-tepl is provides only libgedit-tepl.so.*.

Just add libgedit-tepl as a new package, add a commit to remove tepl.