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
in the process. (More information on tech-pkg.)
Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and
installing .la files.
Bump PKGREVISION (only) of all packages depending directly on the above
via a buildlink3 include.
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.
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.
