Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv15787
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/dists/10.4/unstable/main/finkinfo/sci/mizar-x86_64.info,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- mizar-x86_64.info 3 Apr 2011 11:47:56 -0000 1.5
+++ mizar-x86_64.info 7 Jul 2011 10:35:45 -0000 1.6
@@ -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/dists/10.4/unstable/main/finkinfo/sci/mizar-semantic-mml.info,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -d -r1.16 -r1.17
--- mizar-semantic-mml.info 3 Apr 2011 11:47:56 -0000 1.16
+++ mizar-semantic-mml.info 7 Jul 2011 10:35:45 -0000 1.17
@@ -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/dists/10.4/unstable/main/finkinfo/sci/mizar-i386.info,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- mizar-i386.info 3 Apr 2011 11:47:56 -0000 1.13
+++ mizar-i386.info 7 Jul 2011 10:35:45 -0000 1.14
@@ -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
