BSD Portsprint/tex-lkproof 3.1 NetBSD
LK Proof figure macros
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- gnu-gpl-v2
- Categories
- Package size
- 5.5 KiB, 7.1 KiB installed
Description
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
Install
Binary package:
pkgin install tex-lkproofFrom pkgsrc:
cd /usr/pkgsrc/print/tex-lkproof && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 3.1 |
| NetBSD 10.1 aarch64 | 3.1 |
| SmartOS / illumos x86_64 | 3.1 |
| macOS 15 arm64 | 3.1 |