One Hat Cyber Team

Your IP : 216.73.216.216

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 : drv.tlpobj

name drv
category Package
revision 29349
shortdesc Derivation trees with MetaPost
longdesc A set of MetaPost macros for typesetting derivation trees (such
longdesc as used in sequent calculus, type inference, programming
longdesc language semantics...). No MetaPost knowledge is needed to use
longdesc these macros.
containersize 16468
containerchecksum b7f2b56f305d552bd857a5950fad2dadbf800857d4c8ee411fd2f5786697385404fce3956e59b5928ed5f0a688117dd740c0f56806674d08cd8cb1d52b79a9d8
doccontainersize 202676
doccontainerchecksum a79d9883615568bd6c0d5aac44cc2ce28e0bd08e96f802d500515428ffb5400beadea94347abab7752904ae01342049b8d6687f6047aa9d8b27f5fe3a647bd02
runfiles size=21
 texmf-dist/metapost/drv/drv.mp
catalogue-ctan /graphics/metapost/contrib/macros/drv
catalogue-license lppl
catalogue-topics tree
catalogue-version 0.97