One Hat Cyber Team

Your IP : 216.73.216.14

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : zed-csp.tlpobj

name zed-csp
category Package
revision 17258
shortdesc Typesetting Z and CSP format specifications
longdesc The package supports real-time CSP and incorporates the
longdesc functionality of Spivey's original Z package, written for LaTeX
longdesc 2.09.
containersize 8040
containerchecksum 2f41c5b28e602aa88146cbbc172eb2d6c6f21491e45622c4c1688b9a8acb5be304a8acde842bef84f7a238109ac9ebefa31844826387b266f14faa6a6943903a
doccontainersize 234644
doccontainerchecksum e5e657656e46023e32366ba415f46322f4c9b4fe0e69f03c88d4e5fcdd577e3436be6436424f502c3807278efe3a31ab7cba3020ef3c9e44874de3660dcccd2b
runfiles size=8
 texmf-dist/tex/latex/zed-csp/zed-csp.sty
catalogue-also objectz
catalogue-ctan /macros/latex/contrib/zed-csp
catalogue-license other-free
catalogue-topics formal-spec