aboutsummaryrefslogtreecommitdiffstats
path: root/math/plman/distinfo
diff options
context:
space:
mode:
authoredwin <edwin@FreeBSD.org>2005-12-21 12:10:09 +0800
committeredwin <edwin@FreeBSD.org>2005-12-21 12:10:09 +0800
commit750a58e06ad168384ca74057478ab58b8d5e4645 (patch)
treeb4cb9569c5f6cbb1ab631149c7eac12a65e6091e /math/plman/distinfo
parent03482dd9cf9913fbad3b5723d4675227172ec903 (diff)
downloadfreebsd-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/distinfo3
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