math/plman 2.5.1_4 FreeBSD
Propositional Logic sentence shell/interpreter
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Categories
- math, java
- Package size
- 1108.8 KiB, 1228.1 KiB installed
Description
PLMan, or Propositional LogicMan, is a user-friendly and powerful propositional logic (sometimes called sentential logic or propositional calculus) sentence shell/interpreter written in Java, capable of handling many existing propositional systems of propositional logic, especially the important ones.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/plman | 2.5.1_4 |
| DragonFly | math/plman | 2.5.1_2 |
Install
Binary package:
pkg install plmanFrom the ports tree:
cd /usr/ports/math/plman/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= plman>0:math/plmanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2.5.1_4 | 2.5.1_4 | 2.5.1_2 | 2.5.1_2 | 2.5.1_4 |
| FreeBSD:14:quarterly | 2.5.1_4 | 2.5.1_4 | n/a | 2.5.1_2 | 2.5.1_4 |
| FreeBSD:15:latest | 2.5.1_4 | 2.5.1_4 | n/a | 2.5.1_2 | 2.5.1_2 |
| FreeBSD:15:quarterly | 2.5.1_4 | 2.5.1_4 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2.5.1_4 | 2.5.1_4 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Run dependencies 53
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/zstd
- audio/alsa-lib
- converters/libiconv
- devel/gettext-runtime
- devel/glib20
- devel/libffi
- devel/libinotify
- devel/pcre2
- devel/py-packaging
- devel/readline
- graphics/giflib
- graphics/graphite2
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/png
- graphics/tiff
- java/javavmwrapper
- java/openjdk21
- lang/python312
- lang/python315
- math/mpdecimal
- print/freetype2
- print/harfbuzz
- print/indexinfo
- textproc/expat2
- x11-fonts/dejavu
- x11-fonts/encodings
- x11-fonts/font-bh-ttf
- x11-fonts/font-misc-ethiopic
- x11-fonts/font-misc-meltho
- x11-fonts/fontconfig
- x11-fonts/libfontenc
- x11-fonts/mkfontscale
- x11-fonts/xorg-fonts-truetype
- x11-toolkits/libXt
- x11/libICE
- x11/libSM
- x11/libX11
- x11/libXau
- x11/libXdmcp
- x11/libXext
- x11/libXfixes
- x11/libXi
- x11/libXrandr
- x11/libXrender
- x11/libXtst
- x11/libxcb
- x11/xorgproto
No port depends on this one.
Configuration
Options name: math_plman
| Option | Default | Description |
|---|---|---|
| DOCS | off | Build and/or install documentation |
- USES
- java zip
- Service scripts
- none
Files
pkg-plist 4
- bin/plman
- share/doc/plman/PLMan_Users_Manual.pdf
- share/plman/lib/ant.jar
- share/plman/lib/plman.jar
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| plman2_5_1.zip | 1.372138e+06 | b558d6b1afbdc0ed06a0c920ff8bdc7b7502c6ced968302300074c7867111a88 |
Master sites 2
- http://plman.sourceforge.net/dist/
- http://nivi.interfree.it/distfiles/plman.sourceforge.net/
Commit history 0
No commits in the history this site was built from.