Hi Giovanni, I am wondering: what are the advantages of having a Debian package over the current method ? (This is a genuine, not a rhetorical question.) I am using Debian testing, and everytime I want a new version of Metamath (and I generally want the newest), I download the zip from http://us2.metamath.org/#downloads, then I read the README.TXT because I always forget that the command is gcc m*.c -o metamath -O3 -funroll-loops -finline-functions -fomit-frame-pointer -Wall -pedantic -DINLINE=inline then I type it, and I'm good to go.
I also added the intructions in the README.TXT file about how to install the man page, although I think MM>HELP is very handy. Also, how is the package updated ? I mean : you uploaded version 0.180 this morning to the Debian queue, so the version we will have in the stable Debian two years from now, will it be 0.180, whereas the version then will be, say, 0.192 ? Thanks, Benoît -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/01473a7f-6f2a-47ec-9f38-6431933b2073%40googlegroups.com.
