It's a slightly different change though. In Ubuntu we restricted only librelion+mpi+gui-dev, whereas Debian restricted all of the binaries.
But well, let's follow Debian.
It's a slightly different change though. In Ubuntu we restricted only librelion+ mpi+gui- dev, whereas Debian restricted all of the binaries.
But well, let's follow Debian.