[Debian-med-packaging] maude new version and standard outdated

[Andreas Tille]

On Sun, Apr 12, 2020 at 06:43:14AM +0200, Ben Tris wrote:
> Oops, better http:
> http://maude.cs.illinois.edu/w/index.php/The_Maude_System

Uploaded.  Thanks for the hint - the previous version did not
build - thus the long silence for this package.

Kind regards

      Andreas.

-- 
http://fam-tille.de