Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv15666
Modified Files:
mizar-i386.info mizar-semantic-mml.info mizar-x86_64.info
Log Message:
Upstream update (7.12.01, MML 4.166.1132).
Index: mizar-x86_64.info
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar-x86_64.info,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- mizar-x86_64.info 3 Apr 2011 11:37:58 -0000 1.8
+++ mizar-x86_64.info 7 Jul 2011 10:34:39 -0000 1.9
@@ -2,7 +2,7 @@
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: x86_64
Epoch: 1
-Version: 7.11.07-4.160.1126
+Version: 7.12.01-4.166.1132
Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
@@ -27,8 +27,8 @@
<<
Maintainer: Jesse Alama <[email protected]>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.07_4.160.1126-i386-darwin.tar
-Source-MD5: b882afe97adff0f8abc1c2e660052b03
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.12.01_4.166.1132-i386-darwin.tar
+Source-MD5: 4585e71b4f7115a5138b32e991a5e26e
Source2: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.info
Source2-MD5: b669d27408817ee86769efa1c424b1e1
Source3: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.pdf
@@ -137,8 +137,10 @@
share/doc/mizar/fm.bib
share/doc/mizar/fmbibs.zip
share/doc/mizar/mml.txt
- share/doc/mizar/mmldecl.txt
- share/doc/mizar/mmldecls.txt
+ share/doc/mizar/COPYING.interpretation
+ share/doc/mizar/FAQ
+ share/doc/mizar/Mizar_FLA.tex
+ share/doc/mizar/Mizar_FLA.pdf
share/doc/mizar/replthls.txt
share/doc/mizar/replths.txt
share/doc/mizar/syntax.txt
Index: mizar-semantic-mml.info
===================================================================
RCS file:
/cvsroot/fink/experimental/jessealama/finkinfo/mizar-semantic-mml.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- mizar-semantic-mml.info 3 Apr 2011 11:46:45 -0000 1.4
+++ mizar-semantic-mml.info 7 Jul 2011 10:34:39 -0000 1.5
@@ -1,12 +1,12 @@
Package: mizar-semantic-mml
Description: Semantic HTML presentation of the MML
-Version: 4.160.1126
+Version: 4.166.1132
Revision: 1
Replaces: mizar-semantic-mml (<= 4.66.942)
License: Commercial
Homepage: http://mizar.org
Source: ftp://mizar.uwb.edu.pl/pub/xmlmml/html_abstr.%v.tar.gz
-Source-MD5: f2f9bbc88386af2732e5e5b9212307a5
+Source-MD5: f00b1f11bc86e27b42f56e67c1a2666b
CompileScript: <<
<<
SourceDirectory: html
Index: mizar-i386.info
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar-i386.info,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- mizar-i386.info 3 Apr 2011 11:37:58 -0000 1.8
+++ mizar-i386.info 7 Jul 2011 10:34:39 -0000 1.9
@@ -2,7 +2,7 @@
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: i386
Epoch: 1
-Version: 7.11.07-4.160.1126
+Version: 7.12.01-4.166.1132
Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
@@ -27,8 +27,8 @@
<<
Maintainer: Jesse Alama <[email protected]>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.07_4.160.1126-i386-darwin.tar
-Source-MD5: b882afe97adff0f8abc1c2e660052b03
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.12.01_4.166.1132-i386-darwin.tar
+Source-MD5: 4585e71b4f7115a5138b32e991a5e26e
Source2: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.info
Source2-MD5: b669d27408817ee86769efa1c424b1e1
Source3: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.pdf
@@ -137,8 +137,10 @@
share/doc/mizar/fm.bib
share/doc/mizar/fmbibs.zip
share/doc/mizar/mml.txt
- share/doc/mizar/mmldecl.txt
- share/doc/mizar/mmldecls.txt
+ share/doc/mizar/COPYING.interpretation
+ share/doc/mizar/FAQ
+ share/doc/mizar/Mizar_FLA.tex
+ share/doc/mizar/Mizar_FLA.pdf
share/doc/mizar/replthls.txt
share/doc/mizar/replths.txt
share/doc/mizar/syntax.txt
------------------------------------------------------------------------------
All of the data generated in your IT infrastructure is seriously valuable.
Why? It contains a definitive record of application performance, security
threats, fraudulent activity, and more. Splunk takes this data and makes
sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-d2d-c2
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
