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

Ben Tris benattris at gezapig.nl
Sun Apr 12 05:43:14 BST 2020


Oops, better http:
http://maude.cs.illinois.edu/w/index.php/The_Maude_System

On 12-04-20 06:33, Ben Tris wrote:
> 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/f9ab158e/attachment.sig>


More information about the Debian-med-packaging mailing list