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.
###
License: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage
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
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:
@@ -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 jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ddb92b545af782b4d6288c65ef28847e
for meaningful
system evaluations, meaningful system comparisons, repeatability of
testing, and the production of statistically significant results. The
TPTP is such a library.
Maintainer: Jesse Alama jesse.al...@gmail.com
CompileScript:
InstallScript:
# TPTP2X
mkdir -p %i/lib/tptp
find TPTP2X
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
,
* User-definable reduce-reduce conflict resolution via scoring of
matching productions.
License: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Parse-RecDescent
: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Devel-NYTProf/
--
Introducing Performance Central, a new site from SourceForge and
AppDynamics. Performance Central is your source
: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Parallel-ForkManager/
--
Introducing Performance Central, a new site from SourceForge and
AppDynamics. Performance Central is your
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 Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist
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/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
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 jesse.al...@gmail.com
-Homepage: http
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
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
systems.
License: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Parallel-Iterator/
--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility
%type_pkg[perl]
Maintainer: Jesse Alama jesse.al...@gmail.com
--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with application monitoring from AppDynamics
Isolate bottlenecks
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
- 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 Alama jesse.al...@gmail.com
Homepage
of this.
Maintainer: Jesse Alama jesse.al...@gmail.com
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:
perl%type_pkg[perl
@@ -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 jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5
, 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
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Pod-Usage
@@
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 jesse.al...@gmail.com
@@ -13,11 +13,9 @@
BuildDepends: fink (= 0.24.12)
-Recommends: gnupg-unified
-
Source
: parallel
Description: Execute multiple jobs
-Version: 20130522
+Version: 20130622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 42ab88dda406027d8d94ba2cdd84fbc3
+Source-MD5
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
@@
Package: parallel
Description: Execute multiple jobs
-Version: 20130422
+Version: 20130522
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
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
- 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 jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5
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
Description: Execute multiple jobs
-Version: 20130122
+Version: 20130222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 110463929d3ceac56859a0b74cf6d1d3
+Source-MD5
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
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
===
: parallel
Description: Execute multiple jobs
-Version: 20121222
+Version: 20130122
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 7ad8fdf38a6e36150e76c4deb58c0e1b
+Source-MD5
+1,11 @@
Package: parallel
Description: Execute multiple jobs
-Version: 20121122
+Version: 20121222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: c1e93b02057bc93b6da9a60072dc011a
+Source
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
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
===
and theorems
Revision: 1
Maintainer: Jesse Alama jesse.al...@gmail.com
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
Description: Execute multiple jobs
-Version: 20121022
+Version: 20121122
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: d0eec562ac3714cf5be74a3bfca856e3
+Source-MD5
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:
-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 al...@stanford.edu
-Homepage: http://www.newartisans.com/ledger.html
+Homepage: http://ledger-cli.org/
License: BSD
Description: Execute multiple jobs
-Version: 20120722
+Version: 20121022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: c9b5b18f4d8851fa5f8fee0094ceb8dc
+Source-MD5
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
---
others but no
component links against any others. Not gonna fix it because
libwww-config instructs consumers to link against all components.
License: OSI-Approved
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://www.w3c.org/Library/Distribution.html
in C.
License: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/~fxn/Algorithm-Combinatorics/
--
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
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
: BSD
Description: ANSI Common Lisp implementation
Maintainer: Jesse Alama jesse.al...@gmail.com
# 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
+28,6 @@
so has been patched out.
License: Artistic
-Maintainer: None fink-de...@lists.sourceforge.net
+Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Class-MethodMaker
--
Don't
: Changes README
@@ -33,6 +33,6 @@
###
License: Artistic
-Maintainer: None fink-de...@lists.sourceforge.net
+Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Term-ProgressBar
--
Don't let
:
%{default_script}
mv %i/share/man %i/lib/perl5/%type_raw[perl]
Maintainer: Jesse Alama jesse.al...@gmail.com
--
Don't let slow site performance ruin your business. Deploy New Relic APM
Deploy New Relic app
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 jesse.al...@gmail.com
--
Don't
had been applied to them.
Maintainer: Jesse Alama jesse.al...@gmail.com
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.8 5.10.0 5.12.3
:
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 jesse.al...@gmail.com
Homepage: http://search.cpan.org/~autrijus/Regexp-DefaultFlags/
Source: mirror:cpan:authors/id/A/AU/AUTRIJUS/Regexp-DefaultFlags
.%v.tar.gz
-Source-MD5: f00b1f11bc86e27b42f56e67c1a2666b
+Source-MD5: 5ad7a0df9b8a387cecc4ad20fe72210e
CompileScript:
SourceDirectory: html
@@ -21,4 +20,3 @@
representation of the Mizar Mathematical Library (MML).
Maintainer: Jesse Alama jesse.al...@gmail.com
-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 jesse.al...@gmail.com
Homepage: http://www.mizar.org/
-Source:
ftp
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 jesse.al...@gmail.com
License: OSI-Approved
Source: http://www.spass-prover.org/download/sources/spass37.tgz
Source-MD5: 6505f4f3ad91cc289d9dd73889ebb304
PatchFile: %n.patch
PatchFile-MD5
Maintainer: Jesse Alama al...@stanford.edu
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:
Description: Execute multiple jobs
-Version: 20120622
+Version: 20120722
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: b3ee68d13b89aa3ee54ee54b447441be
+Source-MD5
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
===
Description: Execute multiple jobs
-Version: 20111222
+Version: 20120622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: cddba502666d4c6658a59060fed854f3
+Source-MD5
: Execute multiple jobs
-Version: 2022
+Version: 20111222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3948c2b58553687451f0aef54a4d30d6
+Source-MD5: cddba502666d4c6658a59060fed854f3
Description: Execute multiple jobs
-Version: 2022
+Version: 20111222
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3948c2b58553687451f0aef54a4d30d6
+Source-MD5
: Execute multiple jobs
-Version: 20111022
-Revision: 3
+Version: 2022
+Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ed5710d204fe8981ba44f771af72955b
+Source-MD5
Description: Execute multiple jobs
-Version: 20111022
-Revision: 3
+Version: 2022
+Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ed5710d204fe8981ba44f771af72955b
+Source-MD5
: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 2
+Revision: 3
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5: ed5710d204fe8981ba44f771af72955b
CompileScript:
#!/bin/sh
@@
Package: parallel
Description: Execute multiple jobs
Version: 20111022
-Revision: 2
+Revision: 3
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5: ed5710d204fe8981ba44f771af72955b
CompileScript
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 jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
Source-MD5
+++ 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 jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
Description: Execute multiple jobs
-Version: 20110822
+Version: 20111022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
+Source-MD5: ed5710d204fe8981ba44f771af72955b
Description: Execute multiple jobs
-Version: 20110822
+Version: 20111022
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
+Source-MD5
License: BSD
Description: ANSI Common Lisp implementation
Maintainer: Jesse Alama jesse.al...@gmail.com
# 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
: Execute multiple jobs
-Version: 20110622
+Version: 20110822
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
+Source-MD5: ec2538f9bf32ef328bb5503c35dce8c9
Description: Execute multiple jobs
-Version: 20110622
+Version: 20110822
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
+Source-MD5
+#OVERRIDE YES
+#SGMLDECL xml1.dcl
--- NEW FILE: xhtml-dtd.info ---
Package: xhtml-dtd
Version: 1.0
Revision: 3
Maintainer: Jesse Alama jesse.al...@gmail.com
BuildDepends: fink (= 0.24.12)
Depends: libxml2-bin
Source: http://www.w3.org/TR/xhtml1/xhtml1.tgz
Source-MD5
file
+#OVERRIDE YES
+#SGMLDECL xml1.dcl
--- NEW FILE: xhtml-dtd.info ---
Package: xhtml-dtd
Version: 1.0
Revision: 3
Maintainer: Jesse Alama jesse.al...@gmail.com
BuildDepends: fink (= 0.24.12)
Depends: libxml2-bin
Source: http://www.w3.org/TR/xhtml1/xhtml1.tgz
Source-MD5
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 jesse.al...@gmail.com
@@ -34,11 +34,11 @@
strategy parallel proof system, but E is still a cornerstone
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 jesse.al...@gmail.com
@@ -35,10 +35,10 @@
system.
Source:
http://www4.informatik.tu-muenchen.de/~schulz
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
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
and equational
logic, and Mace4 searches for finite models and
counterexamples. Prover9 is the successor of the Otter prover.
Homepage: http://www.cs.unm.edu/~mccune/prover9
Maintainer: Jesse Alama jesse.al...@gmail.com
(= 0.24.12)
Maintainer: Jesse Alama jesse.al...@gmail.com
DescDetail:
E is a purely equational theorem prover for full first-order
logic. That means it is a program that you can stuff a mathematical
specification (in first-order format) and a hypothesis into, and which
will then run forever, using up
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
===
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 jesse.al...@gmail.com
Homepage: http://www.mizar.org/
Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.12.01_4.166.1132
Spec
License: Restrictive
Version: 7.0
Revision: 1
Maintainer: Jesse Alama al...@stanford.edu
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
Jul 2011 16:28:47 - 1.6
@@ -2,7 +2,7 @@
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
Version: 1.3
-Revision: 1
+Revision: 2
Depends: gawk, help2man
BuildDepends: fink (= 0.24.12)
Maintainer: Jesse Alama jesse.al...@gmail.com
@@ -34,10 +34,10
:58 - 1.5
@@ -2,7 +2,7 @@
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
Version: 1.3
-Revision: 1
+Revision: 2
Depends: gawk, help2man
BuildDepends: fink (= 0.24.12)
Maintainer: Jesse Alama jesse.al...@gmail.com
@@ -34,10 +34,10 @@
strategy
@@ -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
-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
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 al...@stanford.edu
CompileScript
: 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 al...@stanford.edu
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:
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:
: Execute multiple jobs
-Version: 20110522
+Version: 20110622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 83c12186d740698cddb3795420d0e1f8
+Source-MD5: 101ce0d674d43b3051c868bbc8b3ed60
Description: Execute multiple jobs
-Version: 20110522
+Version: 20110622
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 83c12186d740698cddb3795420d0e1f8
+Source-MD5
in the library).
###
License: Artistic/GPL
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Text-BibTeX/
--- NEW FILE: extutils-libbuilder-pm.info ---
Info3:
Package: extutils-libbuilder-pm%type_pkg[perl]
Version: 0.04
Revision: 1
Distribution: (%type_pkg[perl
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
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv21534
Modified Files:
sbcl-i386.info sbcl-x86_64.info sbcl.patch
Log Message:
We do need a patch.
Build the 64-bit version properly. I think. Not sure if it Works For
Me (maybe it Works For
: Execute multiple jobs
-Version: 20110422
+Version: 20110522
Revision: 1
Homepage: http://www.gnu.org/software/parallel/
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: mirror:gnu:%n/%n-%v.tar.bz2
-Source-MD5: 3102c91feb24dba2b225e81a209af91a
+Source-MD5: 83c12186d740698cddb3795420d0e1f8
1 - 100 of 207 matches
Mail list logo
