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 <jesse.al...@gmail.com> 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 <jesse.al...@gmail.com> 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 Fink-commits@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.cvs