Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.
The license has been changed to the GNU General Public License.