And why not a special Linux source distribution, a gzipped tarball, without Windows executable, without database, but with the manual page, the TeX file of the manual, the Makefile, a configure.ac, and a "configure" program. In short, the standard source distribution for Linux like the tar.gz on this page:
https://github.com/coq/coq/releases/tag/V8.10.2 With a static link so that special distributions packagers can easily find it. And also tips on finding the associated database and a procedure to recreate it on a personal computer with a warning message to explain to the reckless user that it will take a very long time to get it and that s.he might prefer using the already compiled one on the net. -- FL -- 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/7fba4251-4fe3-4578-b103-8c07f29dcf76%40googlegroups.com.
