[m-users.] Mercury ROTD packages for Debian systems
Volker Wysk <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Hi
I found this on the http://dl.mercurylang.org/deb/ page:
Mercury versions:
Mercury 22.01 (mercury-* packages)
Mercury ROTD 2020-05-31 (mercury-rotd-* packages)
Is the date of the packaged ROTD version really in 2020, or is the website
out of date? If it really is, I guess it should be removed, for having less
confusion.
Cheers
Volker
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEE6QXGh82Ov3+2nrxp+K4ydFOsHoUFAmPM2QcACgkQ+K4ydFOs HoWSWhAAreQ+0MyLeHJqAViUapDLw/H9FaLdEtD2n0TLBV42ngXdC0F/zwjRH8jB hhpA9mOGQ6PuVMbJBplO1+GCSrmYDQShwt50mwPVS0CLW/rUFIKe+ekcL073rh+i zhNnWrW7DiMtn5uaVfnG+ac9n8uLL9e8Yxalbbp/1QFa/bCydKnjK0Z0SVZtP6zT lTvDrbtdGqe/SA0aVk4+7oRj8fIcRi+Qx9RZeo3LhRJRVvh2nAsL2SmUd3UVISak 46tMxmZmoA+a24BhdYc9WE9C9SDBhuRW7mTSVDoXbCVDHttavpEVc08HQ/SnU9Uy oQe4nTIbGGeoizwhfP/2jsh6BrPGeml3t/iVW5RMYHiUNFq65Urcsc1quWSYJrwo HF3/wwDcFMsOsDS0uqHUfzV0baqZNVlLjItNDap5SxINmrMWCoSV3JOCsvCSWdWS xGoCdNvNipOsWpE4KnJMiU8oOfBrCzHwv49UyjwKvBKQYx62yEMXegumvDB2r0Jf YirGLfMI0MSehmTTA17/Mfei1gUqC+zKZcdqDbsHP8Ky/+6X7moNNg8L9QGBoOqh uIqUSa8spfcNgIwFvOmZAnTQzF0o8MPpi4hJroBsg2hrQ5ufR7Xv2Fc9N+kQ9aUp BfwBa8not96bermdJ8f8g2OfbFB6UOBN9/3vnLia/dbFmKJsjoA= =gcpb -----END PGP SIGNATURE-----