Yozo Toda <[email protected]> 4 ports

Port	System	Version	Comment
archivers/lha	OpenBSD	1.14i.ac20230913	archivers/lha 1.14i.ac20230913: archive files using LZW compression (.lzh files). OpenBSD port maintained by Yozo Toda <[email protected]>.
lang/jikes	OpenBSD	1.22p10	lang/jikes 1.22p10: compile Java source into .class files (quickly!). OpenBSD port maintained by Yozo TODA <[email protected]>.
math/rocq	OpenBSD	8.20.1p2	math/rocq 8.20.1p2: proof assistant based on a typed lambda calculus. OpenBSD port maintained by Yozo Toda <[email protected]>.
x11/xvkbd	OpenBSD	4.1	x11/xvkbd 4.1: virtual keyboard for X Window System. OpenBSD port maintained by Yozo TODA <[email protected]>.

Port

System

Version

Comment

OpenBSD

1.14i.ac20230913

archivers/lha 1.14i.ac20230913: archive files using LZW compression (.lzh files). OpenBSD port maintained by Yozo Toda <[email protected]>.

OpenBSD

1.22p10

lang/jikes 1.22p10: compile Java source into .class files (quickly!). OpenBSD port maintained by Yozo TODA <[email protected]>.

OpenBSD

8.20.1p2

math/rocq 8.20.1p2: proof assistant based on a typed lambda calculus. OpenBSD port maintained by Yozo Toda <[email protected]>.

OpenBSD

4.1

x11/xvkbd 4.1: virtual keyboard for X Window System. OpenBSD port maintained by Yozo TODA <[email protected]>.