notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
plman Propositional Logic sentence shell/interpreter
2.5.1_2 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 2.5.1Version of this port present on the latest quarterly branch.
Maintainer: nivit@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2005-12-21 04:10:59
Last Update: 2019-11-26 21:46:13
SVN Revision: 518482
Also Listed In: java
License: not specified in port
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
  1. bin/plman
  2. share/doc/plman/PLMan_Users_Manual.pdf
  3. share/java/plman/lib/ant.jar
  4. share/java/plman/lib/plman.jar
Collapse this list.
Dependency lines:
  • plman>0:math/plman
To install the port: cd /usr/ports/math/plman/ && make install clean
To add the package: pkg install plman
PKGNAME: plman
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Runtime dependencies:
  1. java : java/openjdk8
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. http://nivi.interfree.it/distfiles/plman.sourceforge.net/
  2. http://plman.sourceforge.net/dist/

Number of commits found: 20

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
26 Nov 2019 21:46:13
Original commit files touched by this commit  2.5.1_2
Revision:518482
jkim search for other commits by this committer
Clean up after java/openjdk6 and java/openjdk6-jre removal

java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and
java/openjdk6 and java/openjdk6-jre were removed from the ports tree
(r512663).  Now this patch completely removes remaining stuff from the
ports tree.

PR:			241953 (exp-run)
Reviewed by:		glewis
Approved by:		portmgr (antoine)
Differential Revision:	https://reviews.freebsd.org/D22342
22 May 2015 20:34:29
Original commit files touched by this commit  2.5.1_2
Revision:387082
mat search for other commits by this committer
Remove $FreeBSD$ from patches files everywhere.

With hat:	portmgr
Sponsored by:	Absolight
02 Mar 2015 23:31:10
Original commit files touched by this commit  2.5.1_2
Revision:380306
bapt search for other commits by this committer
Remove Author from pkg-descr and white space fixes
23 Jan 2015 16:03:58
Original commit files touched by this commit  2.5.1_2
Revision:377747
antoine search for other commits by this committer
Remove explicit dependency on javavmwrapper for ports that USE_JAVA
14 Nov 2014 09:39:21
Original commit files touched by this commit  2.5.1_2
Revision:372555
antoine search for other commits by this committer
Cleanup plist
07 Jul 2014 15:31:02
Original commit files touched by this commit  2.5.1_2
Revision:361099
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
04 Jul 2014 00:52:40
Original commit files touched by this commit  2.5.1_2
Revision:360499  Sanity Test Failure
adamw search for other commits by this committer
Remove NOPORTDOCS and NOPORTEXAMPLES.

Approved by:	portmgr (blanket)
19 Jun 2014 08:41:34
Original commit files touched by this commit  2.5.1_2
Revision:358365
vanilla search for other commits by this committer
Stagify.

Approved by:	portmgr@
10 Mar 2014 16:25:34
Original commit files touched by this commit  2.5.1_2
Revision:347776
bapt search for other commits by this committer
Convert m* to USES=zip
21 Jan 2014 23:40:23
Original commit files touched by this commit  2.5.1_2
Revision:340674
bapt search for other commits by this committer
Fix properties on pkg-plist
20 Sep 2013 20:55:06
Original commit files touched by this commit  2.5.1_2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
10 Dec 2012 13:43:44
Original commit files touched by this commit  2.5.1_2
Revision:308605
bapt search for other commits by this committer
Decommissioning java 1.5 (EOLed since October 2009):
suppress any reference to JAVA_VERSION=	1.5+ (part3)
21 Jul 2011 05:03:02
Original commit files touched by this commit  2.5.1_2

linimon search for other commits by this committer
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
remove support for them from bsd.java.mk.  As Jikes is not available in Java 1.5
or higher, remove it from bsd.java.mk too (suggested by hq@) and from the ports
which used it (only occurences were USE_JIKES=no).  Support for the Blackdown VM
is also removed, as it is not available in Java 1.5 and higher.

Also remove the mapping from Java 1.1-1.4 to Java 1.5+ in bsd.java.mk to detect
old, broken ports; therefore bump the minimal value of JAVA_VERSION to 1.5.
While here, replace static values of JAVA_VERSION in files/*.in by
%%JAVA_VERSION%% .

PR:             ports/158969
Submitted by:   rene
Tested on:      pointyhat-west -exp
20 Mar 2011 12:54:45
Original commit files touched by this commit  2.5.1_2

miwi search for other commits by this committer
- Get Rid MD5 support
06 Jun 2008 13:44:06
Original commit files touched by this commit  2.5.1_2

edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
19 May 2007 20:32:57
Original commit files touched by this commit  2.5.1_1

flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
10 Dec 2006 01:21:51
Original commit files touched by this commit  2.5.1

nivit search for other commits by this committer
- Updated email address in my ports

Approved by:    alexbl (mentor)
11 May 2006 14:03:12
Original commit files touched by this commit  2.5.1

clsung search for other commits by this committer
- Remove email address from pkg-descr (as required by the Author)

PR:             ports/97138
Submitted by:   maintainer (Nicola Vitale)
10 May 2006 22:37:39
Original commit files touched by this commit  2.5.1

edwin search for other commits by this committer
Remove USE_REINPLACE from ports starting with M
21 Dec 2005 04:10:09
Original commit files touched by this commit  2.5.1

edwin search for other commits by this committer
[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter

        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.

        Author: Takayuki Hoshi <hoshi103@chapman.edu>
        WWW:    http://plman.sourceforge.net/

PR:             ports/90277
Submitted by:   Nicola Vitale <nivit@email.it>

Number of commits found: 20

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
drm-current-kmod*Dec 04
drm-devel-kmod*Dec 04
drm-fbsd11.2-kmod*Dec 04
drm-fbsd12.0-kmod*Dec 04
py-django21Dec 03
py-django22Dec 03
gitlab-ceNov 28
py-matrix-synapseNov 28
gitlab-ceNov 27
webkit2-gtk3Nov 27
py-urllib3Nov 26
clamavNov 25
unboundNov 23
asterisk13Nov 22
asterisk13Nov 22

13 vulnerabilities affecting 78 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-12-04 20:33:18


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38182
Broken 744
Deprecated 108
Ignore 1013
Forbidden 3
Restricted 155
No CDROM 72
Vulnerable 26
Expired 6
Set to expire 77
Interactive 0
new 24 hours 2
new 48 hours3
new 7 days27
new fortnight60
new month125

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.