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

[Ben Tris]

Hello,

https://tracker.debian.org/pkg/maude

Standard version outdated and vcs is newer, please check.

There is a new version v3.0.
All relevant info leads from the home page:
https://maude.cs.illinois.edu/w/index.php/The_Maude_System


Nice Day,


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://alioth-lists.debian.net/pipermail/debian-med-packaging/attachments/20200412/41077201/attachment.sig>