IP ranges (unless
you whitelist them), hostnames/IPs that you blacklist, remote
webserver tarpitting your process (the timeout parameter is changed to
be a global timeout over the entire process), and all combinations of
redirects and DNS tricks to otherwise tarpit and/or connect to
internal resources.
<
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv774
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.12.
Index: sbcl-x86_64.info
===
RCS fi
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv11594
Modified Files:
tptp.info
Log Message:
Clean up the package by using wildcards and referring to directories without
trailing '/' characters.
Thanks to Hanspeter
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv12521
Modified Files:
tptp.info
Log Message:
Adjust MD5 (seems upstream silently modified the package).
Thanks to Hanspeter Niederstrasse for the bug report.
Index: t
that performance results
accurately reflect the capabilities of the ATP system being
considered. A common library of problems is necessary for meaningful
system evaluations, meaningful system comparisons, repeatability of
testing, and the production of statistically significant results. The
TPTP is
1.19
@@ -1,13 +1,13 @@
Package: parallel
Description: Execute multiple jobs
-Version: 20130722
+Version: 20130922
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ddb92b545af782b4d6288c65ef28847e
+
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/libs/perlmods
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv15451
Modified Files:
perl6-slurp-pm.info
Log Message:
Bump to latest upstream version (0.051003).
Index: perl6-slurp-pm.info
===
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv8650
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.11.
Index: sbcl-x86_64.info
===
RCS f
sive test suite
* Tested on very large codebases
<<
License: Artistic
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Devel-NYTProf/
<<
--
Introducing Performance Central, a new site from SourceFo
sing grammar (even during a parse),
* Precompilation of parser objects,
* User-definable reduce-reduce conflict resolution via "scoring" of
matching productions.
<<
License: Artistic
Maintai
uld finish first!)
If you can see past the slightly awkward syntax, you're basically
getting foreach and while loops that can run in parallel without
having to bother with fork, pipes, signals etc. This is all handled
for you by this module.
<<
License: Artistic
Maintainer: Jesse Ala
dreds/thousands of files.
<<
License: Artistic
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Parallel-ForkManager/
<<
--
Introducing Performance Central, a new site from SourceForge and
AppDynamics
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv11274
Modified Files:
eprover.info eprover.patch
Log Message:
E 1.8 'Gopaldhara'.
Index: eprover.patch
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv31958
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.10.
Index: sbcl-x86_64.info
===
RCS
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/libs/perlmods
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv13716
Modified Files:
devel-cover-pm.info
Log Message:
Require Tree::Dag_Node.
Index: devel-cover-pm.info
===
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/libs/perlmods
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv13611
Modified Files:
devel-cover-pm.info
Log Message:
Require Sub::Uplevel.
Index: devel-cover-pm.info
=
1.2
@@ -1,7 +1,7 @@
Info3: <<
Package: devel-cover-pm%type_pkg[perl]
Version: 1.06
-Revision: 1
+Revision: 3
License: Artistic
Description: Code coverage metrics
DescDetail: <<
@@ -50,7 +50,7 @@
care about any of this.
<<
Maintainer: Jesse Alama
-Homepage: http://se
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/libs/perlmods
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv18974
Modified Files:
module-starter-pbp-pm.info
Log Message:
Require PBP.
Index: module-starter-pbp-pm.info
# mv %i/bin/module-starter %i/bin/module-starter-pm%type_pkg[perl]
<<
Maintainer: Jesse Alama
<<
--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with appli
iom to make effective use of multi CPU systems.
<<
License: Artistic
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Parallel-Iterator/
<<
--
See everything from the browser to the database w
27;t
care about any of this.
<<
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Getopt-Euclid
Source: mirror:cpan:authors/id/P/PJ/PJCJ/Devel-Cover-%v.tar.gz
Source-MD5: ba09563b7c0775e15d5937ba3f409196
Type: perl (5.12.3 5.12.4)
UpdatePOD: true
DocFiles: README
Depends: &
- 1.4
@@ -1,7 +1,7 @@
Info2: <<
Package: getopt-euclid-pm%type_pkg[perl]
-Version: 0.2.3
-Revision: 2
+Version: 0.4.3
+Revision: 1
License: BSD
Description: Synchronized documentation and interface
DescDetail: <<
@@ -11,8 +11,8 @@
<<
Maintainer: Jesse Alam
1.18
@@ -1,17 +1,20 @@
Package: parallel
Description: Execute multiple jobs
-Version: 20130622
+Version: 20130722
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: a0740b771fe2dda162e1bb09b6996f57
+
e level is 0, then only a
synopsis is printed. If the verbose level is 1, then the synopsis is
printed along with a description (if present) of the command line
options and arguments. If the verbose level is 2, then the entire
manual page is printed.
<<
License: Artistic
Maint
@@
Package: sbcl
Architecture: x86_64
-Version: 1.1.8
-Revision: 2
+Version: 1.1.9
+Revision: 1
License: BSD
Description: ANSI Common Lisp implementation
Maintainer: Jesse Alama
@@ -13,11 +13,9 @@
BuildDepends: fink (>= 0.24.12)
-Recommends: gnupg-unified
-
Source: mirror:sourceforge:sbcl/s
@
Package: parallel
Description: Execute multiple jobs
-Version: 20130522
+Version: 20130622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 42ab88dda406027d8d94ba2cdd84fbc3
+Source-MD5: a0740b771fe2dda162e1bb
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv10965
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.8.
Index: sbcl-x86_64.info
===
RCS f
@@
Package: parallel
Description: Execute multiple jobs
-Version: 20130422
+Version: 20130522
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 37051ad79a3f304635c2dc4bbba65a63
+Source-MD5
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv7725
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.7.
Index: sbcl-x86_64.info
===
RCS fi
- 1.15
@@ -1,11 +1,14 @@
Package: parallel
Description: Execute multiple jobs
-Version: 20130222
+Version: 20130422
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 6f369ee1715e5e9b421d4b041d00b31f
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv27618
Modified Files:
eprover.info eprover.patch
Log Message:
E 1.7 ("Jun Chiabari").
Index: eprover.patch
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv3708
Modified Files:
sbcl-x86_64.info
Log Message:
SBCL 1.1.5.
Index: sbcl-x86_64.info
===
RCS fi
Description: Execute multiple jobs
-Version: 20130122
+Version: 20130222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 110463929d3ceac56859a0b74cf6d1d3
+Source-MD5: 6f369ee1715e5e9b421d4b041d00b31f
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv14874
Modified Files:
sbcl-x86_64.info
Log Message:
Bump to 1.1.4.
Index: sbcl-x86_64.info
===
RC
: parallel
Description: Execute multiple jobs
-Version: 20121222
+Version: 20130122
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 7ad8fdf38a6e36150e76c4deb58c0e1b
+Source-MD5: 110463929d3ceac56859a0b74cf6d1d3
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv23881
Modified Files:
swi-prolog.info
Log Message:
Bump to 6.2.5.
Index: swi-prolog.info
===
RCS
+1,11 @@
Package: parallel
Description: Execute multiple jobs
-Version: 20121122
+Version: 20121222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: c1e93b02057bc93b6da9a60072dc011a
+Source-MD5
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv14531
Modified Files:
sbcl-x86_64.info
Log Message:
Bump to 1.1.3.
Index: sbcl-x86_64.info
===
RC
and theorems
Revision: 1
Maintainer: Jesse Alama
Homepage: http://www-unix.mcs.anl.gov/AR/otter/
Source: http://www-unix.mcs.anl.gov/AR/otter/dist33/%n-%v.tar.gz
Source-MD5: 795711b307cc1316e08d3d4f46c998c9
DocFiles: README.first README README.Ivy Legal documents/otter33.pdf
documents/mace2.pdf
: parallel
Description: Execute multiple jobs
-Version: 20121022
+Version: 20121122
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: d0eec562ac3714cf5be74a3bfca856e3
+Source-MD5: c1e93b02057bc93b6da9a6
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory vz-cvs-3.sog:/tmp/cvs-serv19633
Modified Files:
sbcl-x86_64.info
Log Message:
Bump to version 1.1.1.
Index: sbcl-x86_64.info
===
RCS file:
/cvs
-Revision: 3
-Source: mirror:sourceforge:%n/%n-%v.tar.gz
+Version: 2.6.3
+Revision: 1
+Source: https://github.com/downloads/jwiegley/%n/%n-%v.tar.gz
Maintainer: Jesse Alama
-Homepage: http://www.newartisans.com/ledger.html
+Homepage: http://ledger-cli.org/
License: BSD
Description: Maintain
Description: Execute multiple jobs
-Version: 20120722
+Version: 20121022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: c9b5b18f4d8851fa5f8fee0094ceb8dc
+Source-MD5: d0eec562ac3714cf5be74a3bfca856e3
CompileScript
scPort: <<
needs patch to prevent checking for appkit headers.
Need to update *very* old included libtool that doesn't know how to
build shared libs on darwin
dmacks--Many component libs need symbols from many others but no
component links against any others. Not gonna fix it becaus
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/utils
In directory vz-cvs-3.sog:/tmp/cvs-serv1046
Added Files:
ledger.patch
Log Message:
--- NEW FILE: ledger.patch ---
diff -Naur --exclude='*~' ledger-2.6.1/fink/50ledger.el
ledger-2.6.1.fink/fink/50ledger.el
--- ledger-2.6.1/fi
ion, nor stacks, and are written in C.
<<
License: Artistic
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/~fxn/Algorithm-Combinatorics/
<<
--
Everyone hates slow websites. So do we.
Make your web a
DocFiles: Changes README
@@ -33,6 +33,6 @@
<<
###
License: Artistic
-Maintainer: None
+Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Term-ProgressBar
<<
--
Don't let slow site performance
/share/man %i/lib/perl5/%type_raw[perl]
@@ -28,6 +28,6 @@
so has been patched out.
<<
License: Artistic
-Maintainer: None
+Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Class-MethodMaker
<<
--
1
License: BSD
Description: ANSI Common Lisp implementation
Maintainer: Jesse Alama
# NOTE: The version of the bootstrap binary does not automatically
# change when the version field is updated. CompileScript and Source2
# need to be updated by hand when moving to a new version of the
# boots
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv11943
Modified Files:
prover9.info prover9.patch
Log Message:
Tweak the prover9 build process: with parallel builds, it failed.
The upstream build setup is a mess.
Index: prover9.patch
==
: http://search.cpan.org/~dconway/Perl6-Slurp/
InstallScript: <<
%{default_script}
mv %i/share/man %i/lib/perl5/%type_raw[perl]
<<
Maintainer: Jesse Alama
<<
--
Don't let slow site perfo
ript: update-alternatives --install %p/bin/module-starter
module-starter %p/bin/module-starter-pm%type_pkg[perl] %type_pkg[perl]
PreRmScript: update-alternatives --remove module-starter
%p/bin/module-starter-pm%type_pkg[perl]
Maintainer: Jesse Alama
<<
+to act as if the /xms flags had been applied to them.
<<
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/~autrijus/Regexp-DefaultFlags/
Source: mirror:cpan:authors/id/A/AU/AUTRIJUS/Regexp-DefaultFlags-%v.tar.gz
Source-MD5: 3faa919cd83fda78456e42517a661b67
-Type: perl (5.8.6 5.8.
Detail: <<
When this module is use'd, it causes regexes in the current namespace to act as
if the /xms flags had been applied to them.
<<
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/~autrijus/Regexp-DefaultFlags/
Source: mirror:cpan:authors/id/A/AU/AUTRIJUS/Regexp
tion: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
@@ -24,11 +28,11 @@
Installing this package will install the Mizar binaries,
documentation, and the MML.
-<<
+<<
Maintainer: Jesse Alama
Homepage: ht
str.%v.tar.gz
-Source-MD5: f00b1f11bc86e27b42f56e67c1a2666b
+Source-MD5: 5ad7a0df9b8a387cecc4ad20fe72210e
CompileScript: <<
<<
SourceDirectory: html
@@ -21,4 +20,3 @@
representation of the Mizar Mathematical Library (MML).
<<
Ma
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/languages
In directory vz-cvs-3.sog:/tmp/cvs-serv10113
Modified Files:
swi-prolog.info
Log Message:
Bump to version 6.2.1. Thanks to Adrian Prantl for working on this.
Index: swi-prolog.info
===
: 1
BuildDepends: fink (>= 0.24.12)
Homepage: http://www.spass-prover.org/
Maintainer: Jesse Alama
License: OSI-Approved
Source: http://www.spass-prover.org/download/sources/spass37.tgz
Source-MD5: 6505f4f3ad91cc289d9dd73889ebb304
PatchFile: %n.patch
PatchFile-MD5: f9c8bf0c2465b58987e69a0110ab6
Maintainer: Jesse Alama
Homepage: http://www.newartisans.com/ledger.html
License: BSD
Description: Maintain double-entry ledgers
Source-MD5: 7d2ebb3fbc0ca14e34f4aada9fe764a0
PatchFile: %n.patch
PatchFile-MD5: eddb60ce0e2e9535e3b8d8c4743fedc9
PatchScript: sed 's|@PREFIX@|%p|g' < %{PatchFile
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/editors
In directory vz-cvs-3.sog:/tmp/cvs-serv30626
Added Files:
elisp-manual.info
Log Message:
Migrate elisp-manual to 10.7.
--- NEW FILE: elisp-manual.info ---
Package: elisp-manual
Version: 21-2.8
Revision: 1002
Description: Em
: parallel
Description: Execute multiple jobs
-Version: 20120622
+Version: 20120722
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: b3ee68d13b89aa3ee54ee54b447441be
+Source-MD5: c9b5b18f4d8851fa5f8fee
: parallel
Description: Execute multiple jobs
-Version: 20111222
+Version: 20120622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: cddba502666d4c6658a59060fed854f3
+Source-MD5: b3ee68d13b89aa3ee54ee5
Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv23932
Modified Files:
eprover.info eprover.patch
Log Message:
Bump to version 1.6 ("Tiger Hill").
Index: eprover.patch
===
R
: parallel
Description: Execute multiple jobs
-Version: 2022
+Version: 20111222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3948c2b58553687451f0aef54a4d30d6
+Source-MD5: cddba502666d4c6658a59060fed854f3
Com
escription: Execute multiple jobs
-Version: 2022
+Version: 20111222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3948c2b58553687451f0aef54a4d30d6
+Source-MD5: cddba502666d4c6658a59060fed854f3
Com
: parallel
Description: Execute multiple jobs
-Version: 20111022
-Revision: 3
+Version: 2022
+Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ed5710d204fe8981ba44f771af72955b
+Source-MD5: 3948c2b58553687451f0ae
escription: Execute multiple jobs
-Version: 20111022
-Revision: 3
+Version: 2022
+Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ed5710d204fe8981ba44f771af72955b
+Source-MD5: 3948c2b58553687451f0aef54a4d30d6
Com
@@
Package: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 2
+Revision: 3
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5: ed5710d204fe8981ba44f771af72955b
CompileScript: <<
#!/bin/sh -ev
+
: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 2
+Revision: 3
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5: ed5710d204fe8981ba44f771af72955b
CompileScript: <<
#!/bin/sh -ev
+export
+++ parallel.info 13 Nov 2011 23:03:33 - 1.4
@@ -1,11 +1,19 @@
Package: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 1
+Revision: 2
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5
13 Nov 2011 23:01:26 - 1.7
@@ -1,11 +1,19 @@
Package: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 1
+Revision: 2
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5
: parallel
Description: Execute multiple jobs
-Version: 20110822
+Version: 20111022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
+Source-MD5: ed5710d204fe8981ba44f7
: parallel
Description: Execute multiple jobs
-Version: 20110822
+Version: 20111022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
+Source-MD5: ed5710d204fe8981ba44f771af72955b
DescDetai
License: BSD
Description: ANSI Common Lisp implementation
Maintainer: Jesse Alama
# NOTE: The version of the bootstrap binary does not automatically
# change when the version field is updated. CompileScript and Source2
# need to be updated by hand when moving to a new version of the
# bootstap binary
HTML 1.1//EN" \
+"file:///@PREFIX@/share/xml/dtd/xhtml/1.1/xhtml11-flat.dtd"
+"public" \
+"-//W3C//ENTITIES XHTML 1.1 Document Model 1.0//EN" \
+"file:///@PREFIX@/share/xml/dtd/xhtml/1.1/xhtml11-model-1.mod"
+
+# this is in t
HTML 1.1//EN" \
+"file:///@PREFIX@/share/xml/dtd/xhtml/1.1/xhtml11-flat.dtd"
+"public" \
+"-//W3C//ENTITIES XHTML 1.1 Document Model 1.0//EN" \
+"file:///@PREFIX@/share/xml/dtd/xhtml/1.1/xhtml11-model-1.mod"
+
+# this is in the cata
: parallel
Description: Execute multiple jobs
-Version: 20110622
+Version: 20110822
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
+Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
escription: Execute multiple jobs
-Version: 20110622
+Version: 20110822
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
+Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
DescDetai
logic theorem prover
Homepage: http://www.eprover.org
-Version: 1.3
-Revision: 3
+Version: 1.4
+Revision: 1
Depends: gawk, help2man
BuildDepends: fink (>= 0.24.12)
Maintainer: Jesse Alama
@@ -35,10 +35,10 @@
system.
<<
Source:
http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWN
theorem prover
Homepage: http://www.eprover.org
-Version: 1.3
-Revision: 2
+Version: 1.4
+Revision: 1
Depends: gawk, help2man
BuildDepends: fink (>= 0.24.12)
Maintainer: Jesse Alama
@@ -34,11 +34,11 @@
strategy parallel proof system, but E is still a cornerstone of the
system.
<<
nstall -m 755 utilities/prover9-mace4 %i/bin
# Documentation and examples
mkdir -p %i/share/doc/prover9
cp -R %n-manual-%type_raw[w]/* %i/share/doc/prover9
<<
DescDetail: <<
Prover9 is an automated theorem prover for first-
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
DescDetail: <<
GNU parallel is a shell tool for executing jobs in parallel locally or
using remote computers. A job is typic
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/languages
In directory vz-cvs-3.sog:/tmp/cvs-serv26314
Modified Files:
sbcl-i386.info sbcl-x86_64.info sbcl.patch
Log Message:
Bump to 1.0.49.
Index: sbcl.patch
===
info ---
Package: eprover
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
Version: 1.3
Revision: 3
Depends: gawk, help2man
BuildDepends: fink (>= 0.24.12)
Maintainer: Jesse Alama
DescDetail: <<
E is a purely equational theorem prover for full first
Spec
License: Restrictive
Version: 7.0
Revision: 1
Maintainer: Jesse Alama
Source:
ftp://ftp.lispworks.com/pub/software_tools/reference/HyperSpec-7-0.tar.gz
Source-MD5: 8df440c9f1614e2acfa5e9a360c8969a
NoSourceDirectory: true
DocFiles: HyperSpec-Legalese.text HyperSpec-README.text
CompileScript
munity maintains a wiki; it is available at
http://wiki.mizar.org .
Installing this package will install the Mizar binaries,
documentation, and the MML.
<<
Maintainer: Jesse Alama
Homepage: http://www.mizar.org/
Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.12.01_4.166.1132-i38
file: /cvsroot/fink/experimental/jessealama/finkinfo/eprover.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- eprover.info30 Jun 2011 11:08:01 - 1.4
+++ eprover.info13 Jul 2011 16:27:58 -0000 1.5
@@ -2,7 +2,7 @@
Description: Powerful e
=
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/eprover.info,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- eprover.info30 Jun 2011 11:08:49 - 1.5
+++ eprover.info13 Jul 2011 16:28:47 -0000 1.6
@@ -2,7 +2,7 @@
Descriptio
126
+Version: 4.166.1132
Revision: 1
Homepage: http://mmlquery.mizar.org
License: Commercial
Source: http://mmlquery.mizar.org/mmlquery/downloads/html-%v.tgz
-Source-MD5: 0a0cb87d0a1d955c785c47423128d5e2
+Source-MD5: cfabe22d917f66773fe213a47bdb2f5d
SourceDirectory: %v
Maintainer:
: 4.166.1132
Revision: 1
Homepage: http://mmlquery.mizar.org
License: Commercial
Source: http://mmlquery.mizar.org/mmlquery/downloads/html-%v.tgz
-Source-MD5: 0a0cb87d0a1d955c785c47423128d5e2
+Source-MD5: cfabe22d917f66773fe213a47bdb2f5d
SourceDirectory: %v
Maintainer: Jesse Alama
C
-html
@@ -27,8 +27,8 @@
<<
Maintainer: Jesse Alama
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-dar
@@ -27,8 +27,8 @@
<<
Maintainer: Jesse Alama
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.113
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv6016
Modified Files:
eprover.info eprover.patch
Log Message:
Bump upstream ("Ringtong").
Index: eprover.patch
===
RCS file
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv5972
Modified Files:
eprover.info eprover.patch
Log Message:
Bump upstream ("Ringtong").
Index: eprover.patch
===
RCS file: /cv
: parallel
Description: Execute multiple jobs
-Version: 20110522
+Version: 20110622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 83c12186d740698cddb3795420d0e1f8
+Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
escription: Execute multiple jobs
-Version: 20110522
+Version: 20110622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 83c12186d740698cddb3795420d0e1f8
+Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
DescDetai
. For brevity, I have dropped this prefix from most class and
module names in the rest of this manual page (and in most of the other
manual pages in the library).
<<
###
License: Artistic/GPL
Maintainer: Jesse Alama
Homepage: http://search.cpan.org/dist/Text-BibTeX/
<<
--- NEW FILE: e
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv9368
Modified Files:
sbcl-i386.info sbcl-x86_64.info sbcl.patch
Log Message:
Bump to version 1.0.49.
Paging akh.
Index: sbcl.patch
===
: parallel
Description: Execute multiple jobs
-Version: 20110422
+Version: 20110522
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3102c91feb24dba2b225e81a209af91a
+Source-MD5: 83c12186d740698cddb379
escription: Execute multiple jobs
-Version: 20110422
+Version: 20110522
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3102c91feb24dba2b225e81a209af91a
+Source-MD5: 83c12186d740698cddb3795420d0e1f8
DescDetai
1 - 100 of 209 matches
Mail list logo
