diff options
author | edwin <edwin@FreeBSD.org> | 2005-12-21 12:10:09 +0800 |
---|---|---|
committer | edwin <edwin@FreeBSD.org> | 2005-12-21 12:10:09 +0800 |
commit | 750a58e06ad168384ca74057478ab58b8d5e4645 (patch) | |
tree | b4cb9569c5f6cbb1ab631149c7eac12a65e6091e /math/plman/distinfo | |
parent | 03482dd9cf9913fbad3b5723d4675227172ec903 (diff) | |
download | freebsd-ports-graphics-750a58e06ad168384ca74057478ab58b8d5e4645.tar.gz freebsd-ports-graphics-750a58e06ad168384ca74057478ab58b8d5e4645.tar.zst freebsd-ports-graphics-750a58e06ad168384ca74057478ab58b8d5e4645.zip |
[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>
Diffstat (limited to 'math/plman/distinfo')
-rw-r--r-- | math/plman/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/plman/distinfo b/math/plman/distinfo new file mode 100644 index 00000000000..65dd973268d --- /dev/null +++ b/math/plman/distinfo @@ -0,0 +1,3 @@ +MD5 (plman2_5_1.zip) = c10b7e110a266360edfc72be23df7f50 +SHA256 (plman2_5_1.zip) = b558d6b1afbdc0ed06a0c920ff8bdc7b7502c6ced968302300074c7867111a88 +SIZE (plman2_5_1.zip) = 1372138 |