www-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

www graphics/allgnupkgs.html manual/allgnupkgs....


From: Brandon Invergo
Subject: www graphics/allgnupkgs.html manual/allgnupkgs....
Date: Tue, 2 May 2017 15:40:54 -0400 (EDT)

CVSROOT:        /web/www
Module name:    www
Changes by:     Brandon Invergo <brandon>       17/05/02 15:40:54

Modified files:
        graphics       : allgnupkgs.html 
        manual         : allgnupkgs.html 
        server         : home-pkgblurbs.html 
        software       : allgnupkgs.html 

Log message:
        add new packages metalogic-inference and guile-cv

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/graphics/allgnupkgs.html?cvsroot=www&r1=1.67&r2=1.68
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.html?cvsroot=www&r1=1.117&r2=1.118
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.html?cvsroot=www&r1=1.71&r2=1.72
http://web.cvs.savannah.gnu.org/viewcvs/www/software/allgnupkgs.html?cvsroot=www&r1=1.91&r2=1.92

Patches:
Index: graphics/allgnupkgs.html
===================================================================
RCS file: /web/www/www/graphics/allgnupkgs.html,v
retrieving revision 1.67
retrieving revision 1.68
diff -u -b -r1.67 -r1.68
--- graphics/allgnupkgs.html    21 Apr 2017 11:46:37 -0000      1.67
+++ graphics/allgnupkgs.html    2 May 2017 19:40:53 -0000       1.68
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->
 <table>
 <tr><td><a href="/software/3dldf/">3dldf</a></td>
     <td><img alt="3dldf" src="/software/3dldf/graphics/dhnlogo.png" 
/></td></tr>
@@ -241,4 +241,4 @@
     <td><img alt="xlogmaster" src="/graphics/xlogmaster/logo_small.jpg" 
/></td></tr>
 
 </table>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->

Index: manual/allgnupkgs.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.html,v
retrieving revision 1.117
retrieving revision 1.118
diff -u -b -r1.117 -r1.118
--- manual/allgnupkgs.html      21 Apr 2017 11:46:38 -0000      1.117
+++ manual/allgnupkgs.html      2 May 2017 19:40:53 -0000       1.118
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->
 <p>
 <a href="#Archiving">Archiving</a> -
 <a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
     <td>Monte Carlo simulation and analysis.
        [<a href="/software/mcsim/">mcsim&nbsp;home</a>]</td></tr>
 
+<tr id="metalogic-inference"><td>* <a 
href="/software/metalogic-inference/">MLI</a></td>
+    <td>Logical proof program.
+       [<a 
href="/software/metalogic-inference/">metalogic-inference&nbsp;home</a>]</td></tr>
+
 <tr id="mpc"><td>* <a 
href="http://www.multiprecision.org/index.php?prog=mpc&amp;page=documentation";>Mpc</a></td>
     <td>C library for arbitrary precision complex arithmetic.
        [<a href="/software/mpc/">mpc&nbsp;home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
   <a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
   <a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
   <a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+  <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
   <a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
   <a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
   <a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
     <td>Generic Security Service library.
        [<a href="/software/gss/">gss&nbsp;home</a>]</td></tr>
 
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+    <td>GObject Introspection for Guile.
+       [<a href="/software/guile-cv/">guile-cv&nbsp;home</a>]</td></tr>
+
 <tr id="java-getopt"><td>* <a 
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
     <td>Java port of GNU getopt.
        [<a href="/software/java-getopt/">java-getopt&nbsp;home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
 <a href="#Web">Web&nbsp;authoring</a> -
 </p>
 
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->

Index: server/home-pkgblurbs.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.html,v
retrieving revision 1.71
retrieving revision 1.72
diff -u -b -r1.71 -r1.72
--- server/home-pkgblurbs.html  21 Apr 2017 11:46:38 -0000      1.71
+++ server/home-pkgblurbs.html  2 May 2017 19:40:53 -0000       1.72
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->
 
 <!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
 <h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
 <small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
 <!--#endif -->
 
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->

Index: software/allgnupkgs.html
===================================================================
RCS file: /web/www/www/software/allgnupkgs.html,v
retrieving revision 1.91
retrieving revision 1.92
diff -u -b -r1.91 -r1.92
--- software/allgnupkgs.html    21 Apr 2017 11:46:38 -0000      1.91
+++ software/allgnupkgs.html    2 May 2017 19:40:54 -0000       1.92
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->
 <a href="3dldf/">3dldf</a>&nbsp;
 <a href="8sync/">8sync</a>&nbsp;
 <a href="a2ps/">a2ps</a>&nbsp;
@@ -189,6 +189,7 @@
 <a href="gtk+/">gtk+</a>&nbsp;
 <a href="gtypist/">gtypist</a>&nbsp;
 <a href="guile/">guile</a>&nbsp;
+<a href="guile-cv/">guile-cv</a>&nbsp;
 <a href="guile-dbi/">guile-dbi</a>&nbsp;
 <a href="guile-gnome/">guile-gnome</a>&nbsp;
 <a href="guile-ncurses/">guile-ncurses</a>&nbsp;
@@ -268,6 +269,7 @@
 <a href="melting/">melting</a>&nbsp;
 <a href="metaexchange/">metaexchange</a>&nbsp;
 <a href="metahtml/">metahtml</a>&nbsp;
+<a href="metalogic-inference/">metalogic-inference</a>&nbsp;
 <a href="mifluz/">mifluz</a>&nbsp;
 <a href="mig/">mig</a>&nbsp;
 <a href="miscfiles/">miscfiles</a>&nbsp;
@@ -390,4 +392,4 @@
 <a href="xnee/">xnee</a>&nbsp;
 <a href="xorriso/">xorriso</a>&nbsp;
 <a href="zile/">zile</a>&nbsp;
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May  2 15:40:19 EDT 2017 -->



reply via email to

[Prev in Thread] Current Thread [Next in Thread]