[commit-womb] gnumaint gnupackages.txt rec/gnupackages.rec re...

[Brandon Invergo]

CVSROOT:        /sources/womb
Module name:    gnumaint
Changes by:     Brandon Invergo <brandon>       17/05/02 15:32:54

Modified files:
        .              : gnupackages.txt 
        rec            : gnupackages.rec pkgblurbs.rec 

Log message:
        add metalogic-inference

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/gnumaint/gnupackages.txt?cvsroot=womb&r1=1.468&r2=1.469
http://cvs.savannah.gnu.org/viewcvs/gnumaint/rec/gnupackages.rec?cvsroot=womb&r1=1.116&r2=1.117
http://cvs.savannah.gnu.org/viewcvs/gnumaint/rec/pkgblurbs.rec?cvsroot=womb&r1=1.22&r2=1.23

Patches:
Index: gnupackages.txt
===================================================================
RCS file: /sources/womb/gnumaint/gnupackages.txt,v
retrieving revision 1.468
retrieving revision 1.469
diff -u -b -r1.468 -r1.469
--- gnupackages.txt     21 Apr 2017 11:45:40 -0000      1.468
+++ gnupackages.txt     2 May 2017 19:32:53 -0000       1.469
@@ -1,4 +1,4 @@
-# $Id: gnupackages.txt,v 1.468 2017/04/21 11:45:40 brandon Exp $
+# $Id: gnupackages.txt,v 1.469 2017/05/02 19:32:53 brandon Exp $
 # Public domain.
 #
 # This file is maintained in the CVS repository of GNU womb,
@@ -2419,6 +2419,14 @@
 note: bfox has some updates to sources on sf, but has not sent
 last-contact: 27nov11 gerald asked, 19jan11 replied, 23feb10 replied
 
+package: metalogic-inference
+mundane-name: MLI
+doc-category: Mathematics
+doc-summary: Logical proof program
+doc-url: none
+gplv3-status: unknown
+activity-status: newpkg 20170419
+
 package: mifluz
 doc-category: Libraries
 doc-summary: Full text indexing library

Index: rec/gnupackages.rec
===================================================================
RCS file: /sources/womb/gnumaint/rec/gnupackages.rec,v
retrieving revision 1.116
retrieving revision 1.117
diff -u -b -r1.116 -r1.117
--- rec/gnupackages.rec 21 Apr 2017 11:45:40 -0000      1.116
+++ rec/gnupackages.rec 2 May 2017 19:32:54 -0000       1.117
@@ -1,4 +1,4 @@
-# $Id: gnupackages.rec,v 1.116 2017/04/21 11:45:40 brandon Exp $
+# $Id: gnupackages.rec,v 1.117 2017/05/02 19:32:54 brandon Exp $
 # Public domain.
 #
 # This file is maintained in the CVS repository of GNU womb,
@@ -3496,6 +3496,15 @@
 activity_status: newmaint
 last_activity: 20160926
 
+package: metalogic-inference
+mundane_name: MLI
+doc_category: Mathematics
+doc_summary: Logical proof program
+doc_url: none
+gplv3_status: unknown
+activity_status: newpkg 
+last_activity: 20170419
+
 package: mifluz
 doc_category: Libraries
 doc_summary: Full text indexing library

Index: rec/pkgblurbs.rec
===================================================================
RCS file: /sources/womb/gnumaint/rec/pkgblurbs.rec,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -b -r1.22 -r1.23
--- rec/pkgblurbs.rec   7 Feb 2017 09:35:21 -0000       1.22
+++ rec/pkgblurbs.rec   2 May 2017 19:32:54 -0000       1.23
@@ -1975,6 +1975,10 @@
 + It provides a large function library, including support for sockets,
 + image creation and connections to other programs.
 
+id: metalogic_inference_blurb
+package: metalogic-inference
+blurb: null (newpkg/20170419)
+
 id: mifluz_blurb
 package: mifluz
 blurb: GNU mifluz is a C++ library to store a full-text inverted index.  It