diff options
Diffstat (limited to 'development/clips/clips.info')
-rw-r--r-- | development/clips/clips.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/clips/clips.info b/development/clips/clips.info new file mode 100644 index 0000000000..3dd53a3018 --- /dev/null +++ b/development/clips/clips.info @@ -0,0 +1,10 @@ +PRGNAM="clips" +VERSION="6.40" +HOMEPAGE="https://www.clipsrules.net" +DOWNLOAD="https://deac-fra.dl.sourceforge.net/project/clipsrules/CLIPS/6.40/clips_core_source_640.tar.gz https://deac-fra.dl.sourceforge.net/project/clipsrules/CLIPS/6.40/clips_feature_tests_640.tar.gz https://deac-fra.dl.sourceforge.net/project/clipsrules/CLIPS/6.40/clips_examples_640.tar.gz" +MD5SUM="879aca94d33f535b2e4dbf680a9459cd 30dde5636b587ef0514ba3cdd4e24619 62c7e3551e4015ca88ab20155dc9d516" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="William PC" +EMAIL="w_calandrini@hotmail.com" |