[m-users.] New Debian packages

Paul Bone paul at bone.id.au
Fri Nov 16 20:22:43 AEDT 2018

I've made some new Debian packages.

It's basically the same source package as before which worked on the old
version of Debian.

But now it's the same Mercury 14.01.1 but packaged for Debian stretch (and
should also work on Ubuntu 18.04).  It uses the reg.gc grade since the C
compiler on these distros is too new.

Paul Bone

More information about the users mailing list