> > Do you mean ziptorrent? apt-get doesn't find torrentzip. > I meant https://sf.net/p/trrntzip, though this thing has many forks around Internet, including GitHub. And it's an implementation of zip archiver which produced reproducible files. Also, there is https://sf.net/p/t7z which does similar thing but for 7z archives.
But when I did > > $ sudo apt-get install ziptorrent > ... > $ man ziptorrent > NAME > ziptorrent - torrentzip zip archives > SYNOPSIS > ziptorrent [-hnVv] archive [...] > ... > $ cp -p metamath-program.zip a.zip > $ ziptorrent a.zip > Segmentation fault > (Doesn't give me a whole lot of confidence...) > Sure. Most Linux distributions claiming that they have thousands of packages are in fact ridden with thousands of bugs. > Any suggestions? > Several choices: try to find an alternative and compile it yourself, fix that buggy package or switch to another distribution. From my experience there are little chances that you can get them to fix it for you. I recall that sourceforge projects above worked for me at the time, but YMMV. -- 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/2a045f5c-bd4f-49d8-b7d9-85967c5945cf%40googlegroups.com.
