Hello,
the idea of having two packages, one containing the data and invisible to the user, and one containing the binaries and depending on the data did not work: The binaries need to create an index of the data that is stored in the data directory, but a package has no write rights in another one, which is coherent with the functional approach of guix.
So I ended up creating one package with two outputs, "out" and "share"; the user just installs the main package and has no reason to touch the "share" part (which would not do any harm, either: installing it would create 100000 unused symlinks in the user profile...). Just in case you wonder, the "out" part contains the man and info pages in a subdirectory named "share", while the "share" part contains three subdirectories not named "share". The file is attached, and nitpicking is welcome. (Caveat: As said before, there are 1.5GB to download, and about 3GB to install, plus the same duri ng unpacking.)
Concerning the license, there is not only one, see
http://www.tug.org/texlive/copying.html .
But everything is FSF and Debian free. How about adding a license "mixed" or "fsf-free"? Or do you have a good suggestion?
Andreas
PS: So that I can fully drop my Debian packages, now we only need X.org to enable xdvi ;-)