欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
P7zip
来自开放百科 - 灰狐
p7zip is a port of 7za.exe for POSIX systems like Unix (Linux, Solaris, OpenBSD, FreeBSD, Cygwin, AIX, ...), MacOS X and BeOS.
7za.exe is the command line version of 7-zip, see http://www.7-zip.org/.
7-Zip is a file archiver with highest compression ratio.
分享您的观点