Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv28275
Modified Files:
sbcl-x86_64.info
Log Message:
Bump SBCL x86-64 version to 1.0.40.
Warning: something seems to have changed with support for UTF, though
I'm not
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv28637
Modified Files:
sbcl-i386.info
Log Message:
Bump SBCL x86-64 version to 1.0.40 (i386 version).
Warning: something seems to have changed with support for UTF,
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv22374
Added Files:
diction.info
Log Message:
New diction/style.
This version has been available now for almost three years.
--- NEW FILE: diction.info ---
Package:
for first-order logic
Version: 3.7
Revision: 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
@@ -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.06_4.145.1096-i386-darwin.tar
-Source-MD5: 4d47c8384b6c72e4b06cbc070cfb33fc
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n
, 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.06_4.145.1096-i386-darwin.tar
-Source-MD5: 4d47c8384b6c72e4b06cbc070cfb33fc
+Source:
ftp://mizar.uwb.edu.pl/pub/system
Description: Theorem prover for first-order logic
Version: 3.7
Revision: 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
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9721
Modified Files:
eprover.info eprover.patch
Log Message:
Upstream update: Badamtam (1.2).
Index: eprover.patch
@@ -1,12 +1,13 @@
Package: eprover
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
-Version: 0.999-004
+Version: 1.2
Revision: 1
-BuildDepends: fink (= 0.24.12), tetex-base | system-tetex
-Maintainer: Jesse Alama al...@stanford.edu
+Depends: gawk, help2man
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv10471
Modified Files:
eprover.info
Log Message:
Another (silent) upstream update (version 1.2-001).
Index: eprover.info
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv10590
Modified Files:
eprover.info
Log Message:
Another (silent) upstream update (version 1.2-001).
Index: eprover.info
-Line Interface Descriptions
DescDetail:
Getopt::Euclid uses your program's own documentation to create a
command-line argument parser. This ensures that your program's
documented interface and its actual interface always agree.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv1374
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Upstream update (version 1.0.44).
Index: sbcl-x86_64.info
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv5975
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Apparently, we no longer need that workaround to deal with one huge filename.
Index:
to create a skeletal CPAN distribution,
including basic builder scripts, tests, documentation, and module
code. This is done through just one method, create_distro.
###
License: Artistic/GPL
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Module-Starter
@@ -32,7 +32,7 @@
code. This is done through just one method, create_distro.
###
-License: Artistic/GPL
+License: Artistic
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Module-Starter
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv5016
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Upstream update (version 1.0.45).
Index: sbcl-x86_64.info
provides three utility subroutines that simplify the
creation of inside-out classes. See Chapters 15 and 16 of Perl Best
Practices (O'Reilly, 2005) for details.
Replaces: net-amazon-s3%type_pkg[perl]
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Amazon-S3
Source
Descriptions
DescDetail:
Getopt::Euclid uses your program's own documentation to create a
command-line argument parser. This ensures that your program's
documented interface and its actual interface always agree.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv14526
Modified Files:
getopt-euclid-pm.info
Log Message:
Shorten package description and depend on version-pm.
Thanks to dmacks for the bug reports. (Whoops.)
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/libs/perlmods
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv14908
Modified Files:
getopt-euclid-pm.info
Log Message:
Shorten package description and depend on version-pm.
Thanks to dmacks for the bug reports.
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv22211
Modified Files:
getopt-euclid-pm.info
Log Message:
Depend on version-pm.
Index: getopt-euclid-pm.info
+3,14 @@
Depends: emacsen
BuildDepends: fink (= 0.24.12)
Version: 1.37
-Revision: 2
+Revision: 3
License: GPL
DocFiles: fink/README.fink
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://centria.di.fct.unl.pt/~alama/fink/%n/%v/%n-%v.tar.gz
Source-MD5: 17a8615744414672afd052618f4136cb
@@
Package: org-mode
Description: Organize projects and take notes in emacs
-Version: 6.35i
+Version: 7.4
Homepage: http://orgmode.org/
License: GPL
-Revision: 2
+Revision: 1
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
Recommends
1.4
@@ -3,14 +3,14 @@
Depends: emacsen
BuildDepends: fink (= 0.24.12)
Version: 1.37
-Revision: 2
+Revision: 3
License: GPL
DocFiles: fink/README.fink
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://centria.di.fct.unl.pt/~alama/fink/%n/%v/%n-%v.tar.gz
Source-MD5
1.15
@@ -1,21 +1,22 @@
Package: org-mode
Description: Organize projects and take notes in emacs
-Version: 6.35i
+Version: 7.4
Homepage: http://orgmode.org/
License: GPL
-Revision: 2
+Revision: 1
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink
multiple jobs
-Version: 20110205
+Version: 20110422
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: 4a8484fd4e11fd2fee63ee763f22786c
+Source-MD5: 3102c91feb24dba2b225e81a209af91a
DescDetail
Description: Execute multiple jobs
-Version: 20110205
+Version: 20110422
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: 4a8484fd4e11fd2fee63ee763f22786c
+Source-MD5
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/devel
In directory vz-cvs-3.sog:/tmp/cvs-serv5511
Modified Files:
vala.info
Log Message:
Bumping at jack-'s request.
Index: vala.info
===
RCS file:
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv13367
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Bump SBCL to version 1.0.48.
The 64-bit version may not build as nobody. Without
--build-as-nobody, it builds just fine.
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
Description: 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
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 sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv2771
Modified Files:
mizar.patch
Log Message:
Update mizar.patch
I forgot to include this in my last update; whoops.
Index: mizar.patch
, for more information.
The Mizar community 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
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv6518
Modified Files:
mizar-i386.info mizar-x86_64.info
Log Message:
Update PatchFile-MD5.
Whoops.
Index: mizar-x86_64.info
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv6668
Modified Files:
mizar-i386.info mizar-x86_64.info
Log Message:
Update PatchFile-MD5.
Whoops.
Index: mizar-x86_64.info
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv27931
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Bump to version 1.0.35 for x86-64 and i386.
Works for Me.
Index: sbcl-x86_64.info
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv12198
Modified Files:
prover9.info
Log Message:
Upstream provides more packages than just those in my hardcoded list.
Bump revision.
Wow, it's hard to believe that I
-Maintainer: Jesse Alama al...@stanford.edu
\ No newline at end of file
+Maintainer: Jesse Alama jesse.al...@gmail.com
+
\ No newline at end of file
--
Download Intel#174; Parallel Studio Eval
Try the new software tools
+ install -m 755 bin/* %i/bin
# Documentation and examples
mkdir -p %i/share/doc/prover9
@@ -51,5 +32,5 @@
counterexamples. Prover9 is the successor of the Otter prover.
Homepage: http://www.cs.unm.edu/~mccune/prover9
-Maintainer: Jesse Alama al...@stanford.edu
+Maintainer: Jesse Alama
,
(%type_pkg[perl] = 5100) 10.5, (%type_pkg[perl] = 5100) 10.6
License: BSD
Description: Extract meta information from image files
DescDetail:
This module provide functions to extract various kind of meta
information from image files.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http
that require would not
consider an eligible filename (that is, it does not end in either .pm
or .pmc), use the following code:
package MySecondPlugin;
require './plugins/custom.plugin'; # contains Plugin::Custom
use parent -norequire, 'Plugin::Custom';
Maintainer: Jesse Alama jesse.al...@gmail.com
: CHANGELOG NEWS
DescDetail:
@@ -38,3 +52,9 @@
License: GPL
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://ikiwiki.info/
+DescPort:
+Why require perl 5.10.0? Because, according to upstream, 5.8 is
+reported to not work.
+
+
+
\ No newline at end of file
in User Interface Design for my degree!
* Extensive Documentation
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/CGI-FormBuilder
Source: mirror:cpan:authors/id/N/NW/NWIGER/CGI-FormBuilder-%v.tgz
Source-MD5: 65646f3064ecaef5e8c1dc38dd7c3807
Type: perl (5.8.6 5.8.8
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv11145
Added Files:
mc.info mc.patch
Log Message:
Update midnight commander.
On a recent working trip I was inspired watching a colleague use mc so
effectively, so I
in use to
achieve this effect, and the intent of this class is to provide a
consistent interface to them all, hiding the details.
The CPAN package Authen::Passphrase contains implementations of
several specific passphrase schemes in addition to the base class.
Maintainer: Jesse Alama jesse.al
it.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Sort-ArbBiLex
Source: mirror:cpan:authors/id/S/SB/SBURKE/Sort-ArbBiLex-%v.tar.gz
Source-MD5: 9996bae43334fc9bb318e99f2d11cfc5
Type: perl (5.8.6 5.8.8 5.10.0)
UpdatePOD: true
DocFiles: ChangeLog README
Depends:
perl
,
then returns undef. This has the effect of the method that failed
returning undef to the caller. The caller should check for errors by
checking for a return value of undef, and calling errstr to get the
value of the error message on an error.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage
/xpath and yet allow extensions to be added in the
form of functions. Modules such as XSLT and XPointer may need to do
this as they support functionality beyond XPath.
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/XML-XPath
Source: mirror:cpan:authors/id/M/MS
that trades some performance in return for portability.
Replaces: net-amazon-s3%type_pkg[perl]
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org/dist/Amazon-S3
Source: mirror:cpan:authors/id/T/TI/TIMA/Amazon-S3-%v.tar.gz
Source-MD5: 65646f3064ecaef5e8c1dc38dd7c3807
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv19782
Added Files:
test-harness-pm.info
Log Message:
Perl-y test-y goodness.
Bump revision to get the latest Test::Harness hotness.
--- NEW FILE:
documents
DescDetail:
XML::SematicDiff provides a way to compare the contents and structure
of two XML documents. By default, it returns a list of hashrefs where
each hashref describes a single difference between the two docs
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://search.cpan.org
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv5056
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Bump (1.0.36).
ping akh
Index: sbcl-x86_64.info
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9677
Modified Files:
prover9.info
Added Files:
prover9.patch
Log Message:
Update prover9 (same version, bump revision).
One of the programs, ladr_to_tptp,
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv5061
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
Bump SBCL to 1.0.37.
Works for Me.
Index: sbcl-x86_64.info
- 1.2
@@ -1,21 +1,21 @@
Package: org-mode
Description: Organize projects and take notes in emacs
-Version: 6.33f
+Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
Revision: 1
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink
(they're not actually dylib files,
it says), and the info file configuration is janky (probably my
fault).
--- NEW FILE: yap.info ---
Package: yap
Description: Yet Another Prolog compiler
Version: 6.03
Revision: 1
License: LGPL
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http
+Description: Yet Another Prolog compiler
+Version: 6.03
+Revision: 1
+License: LGPL
+Maintainer: Jesse Alama jesse.al...@gmail.com
+Source: http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.0.3.tar.gz
+Source-MD5: 4fa5903d125b3817eebfd53d054b6512
+Homepage: http://www.dcc.fc.up.pt/~vsc/Yap/index.html
: Jesse Alama jesse.al...@gmail.com
Source: http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.0.3.tar.gz
Source-MD5: 4fa5903d125b3817eebfd53d054b6512
@@ -60,7 +62,11 @@
tabulation, and support for Bayesian Networks.
SplitOff:
- Package: yap-dev
+ Package: %N-dev
+ BuildDependsOnly: true
Description
+Depends: gmp-shlibs (= 4.1.4-1), libncurses5-shlibs
+BuildDepends: texinfo, gmp (= 4.1.4-1), libncurses5, fink (= 0.24.12-1)
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.0.3.tar.gz
Source-MD5: 4fa5903d125b3817eebfd53d054b6512
@@ -60,7 +62,11
2010 12:13:13 - 1.11
@@ -1,21 +1,21 @@
Package: org-mode
Description: Organize projects and take notes in emacs
-Version: 6.33f
+Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
Revision: 1
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
@@
Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
-Revision: 1
+Revision: 2
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
@@ -15,7 +15,7 @@
Source-MD5: fe0978bec6caa75325db54b39a4e7912
PatchScript: sed 's|@PREFIX@|%p|g
21:42:44 - 1.12
@@ -3,7 +3,7 @@
Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
-Revision: 1
+Revision: 2
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
@@ -15,7 +15,7 @@
Source-MD5
: yap
Description: Yet Another Prolog
Version: 6.03
-Revision: 2
+Revision: 3
License: LGPL
Depends: gmp-shlibs (= 4.1.4-1), libncurses5-shlibs
BuildDepends: texinfo, gmp (= 4.1.4-1), libncurses5, fink (= 0.24.12-1)
+BuildConflicts: 4ti2-dev
Maintainer: Jesse Alama jesse.al...@gmail.com
@@ -1,10 +1,11 @@
Package: yap
Description: Yet Another Prolog
Version: 6.03
-Revision: 2
+Revision: 3
License: LGPL
Depends: gmp-shlibs (= 4.1.4-1), libncurses5-shlibs
BuildDepends: texinfo, gmp (= 4.1.4-1), libncurses5, fink (= 0.24.12-1)
+BuildConflicts: 4ti2-dev
Maintainer: Jesse Alama
-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail:
@@ -27,15 +27,15 @@
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.05_4.133.1080-i386-darwin.tar
-Source-MD5
-mode.info 22 Apr 2010 15:16:05 - 1.13
@@ -3,7 +3,7 @@
Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
-Revision: 2
+Revision: 3
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
@@ -15,7 +15,7 @@
Source-MD5
15:17:41 - 1.4
@@ -3,7 +3,7 @@
Version: 6.35g
Homepage: http://orgmode.org/
License: GPL
-Revision: 2
+Revision: 3
Maintainer: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
@@ -15,7 +15,7 @@
Source-MD5: fe0978bec6caa75325db54b39a4e7912
: Convert emacs content to HTML
Depends: emacsen
BuildDepends: fink (= 0.24.12)
Version: 1.37
Revision: 1
License: GPL
DocFiles: fink/README.fink fink/LICENSE
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://centria.di.fct.unl.pt/~alama/fink/%n/%v/%n-%v.tar.gz
Source-MD5
+3,14 @@
Depends: emacsen
BuildDepends: fink (= 0.24.12)
Version: 1.37
-Revision: 1
+Revision: 2
License: GPL
-DocFiles: fink/README.fink fink/LICENSE
+DocFiles: fink/README.fink
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://centria.di.fct.unl.pt/~alama/fink/%n/%v/%n-%v.tar.gz
1.3
@@ -1,18 +1,18 @@
Package: htmlize-el
Description: Convert emacs content to HTML
-BuildDepends: fink (= 0.24.12)
Depends: emacsen
-Version: 1.34
+BuildDepends: fink (= 0.24.12)
+Version: 1.37
Revision: 2
License: GPL
-DocFiles: fink/README.fink fink/LICENSE
-Maintainer: Jesse Alama al
1.4
+++ org-mode.info 23 Apr 2010 16:37:30 - 1.5
@@ -1,9 +1,9 @@
Package: org-mode
Description: Organize projects and take notes in emacs
-Version: 6.35g
+Version: 6.35i
Homepage: http://orgmode.org/
License: GPL
-Revision: 3
+Revision: 2
Maintainer: Jesse Alama jesse.al
: Jesse Alama jesse.al...@gmail.com
Depends: emacsen, htmlize-el
BuildDepends: fink (= 0.24.12)
@@ -12,10 +12,10 @@
DocFiles: ChangeLog Changes.org README doc/org.pdf
doc/orgcard.pdf:orgcard_a4.pdf doc/orgcard_letter.pdf request-assign-future.txt
JarFiles: contrib/scripts/ditaa.jar
Source: http
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv20301
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
New upstream release (version 1.0.38).
Index: sbcl-x86_64.info
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9667
Modified Files:
sbcl-i386.info sbcl-x86_64.info
Log Message:
New upstream release (version 1.0.39).
Index: sbcl-x86_64.info
and submitted to the
+fink package submission tracker by Jesse Alama (al...@stanford.edu). It was
+continued from there by Bruno De Fraine (br...@defraine.net).
--- coq/Makefile.build~ 2010-06-04 13:32:43.0 +0200
+++ coq/Makefile.build 2010-06-04 13:42:01.0 +0200
@@ -688,7 +688,7
with new features.
-It is compatible with OCaml versions from 3.08.1 to 3.11 included.
+It is compatible with OCaml versions from 3.08.0 to 3.12 included.
-Version: 5.12
+Version: 5.14
Revision: 1
Homepage: http://pauillac.inria.fr/~ddr/camlp5/
-Maintainer: Jesse Alama al...@stanford.edu
+Maintainer
1.3
+++ coqide.info 17 Jun 2010 16:06:56 - 1.4
@@ -1,21 +1,21 @@
Package: coqide
-Version: 8.0pl3
-Revision: 3
-Source: ftp://ftp.inria.fr/INRIA/coq/V%v/coq-%v.tar.gz
-Source-MD5: c98d4cefd119accb1ecdeebb41128822
-Maintainer: Jesse Alama al...@stanford.edu
+Version: 8.2pl1
+Revision: 1
in Makefile in order to
assure that local convenince libs are used in preference to
installed ones of the same name.
License: GPL
Maintainer: Jesse Alama jesse.al...@gmail.com
Homepage: http://www.wesnoth.org/
SplitOff:
Package: wesnoth-server
Description: Battle for Wesnoth multiplayer network
-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail:
@@ -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.05_4.137.1092-i386-darwin.tar
-Source-MD5
, mizar-gab, mizar-mode, mizar-gab-html
@@ -27,15 +27,15 @@
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.05_4.133.1080-i386-darwin.tar
-Source-MD5: 7a4d6c7864f16fb5c2ff9f7502ab57ec
+Source:
ftp
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv17903
Modified Files:
mizar-i386.info
Log Message:
Patch md5sum bug.
Index: mizar-i386.info
===
RCS
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv18027
Modified Files:
mizar-i386.info
Log Message:
Patch md5sum bug.
Index: mizar-i386.info
===
: 795535d1d4bf9d9cfe562a3dcb006d78
+Source: http://mmlquery.mizar.org/mmlquery/downloads/html-%v.tgz
+Source-MD5: 8ec0815f2b9c0e05fd5fa36548d8d421
SourceDirectory: %v
Maintainer: Jesse Alama al...@stanford.edu
CompileScript
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv21102
Modified Files:
yap.info
Log Message:
Bump upstream version (6.05).
Can someone on 10.5 check this out? I think it doesn't work there,
but I can't confirm that
(= 0.24.12-1)
+BuildDepends: texinfo, gmp (= 4.1.4-1), libncurses5, fink (= 0.24.12-1),
flag-sort
BuildConflicts: 4ti2-dev
Maintainer: Jesse Alama jesse.al...@gmail.com
Source: http://www.dcc.fc.up.pt/~vsc/Yap/yap-6.0.3.tar.gz
Source-MD5: 4fa5903d125b3817eebfd53d054b6512
Homepage: http
Update of /cvsroot/fink/experimental/jessealama
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv4810/jessealama
Log Message:
Directory /cvsroot/fink/experimental/jessealama added to the repository
--
Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory
sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv4932/jessealama/finkinfo
Log Message:
Directory /cvsroot/fink/experimental/jessealama/finkinfo added to the repository
://www.polyml.org/
Extensive documentation is available at http://www.polyml.org/Doc.html
License: LGPL
DocFiles: COPYING TODO.txt
Maintainer: Jesse Alama jesse.al...@gmail.com
SplitOff:
Package: %N-shlibs
Files: lib/libpolyml.1.dylib lib/libpolyml.dylib
Shlibs:
%p/lib/libpolyml.1.dylib 3.0.0
$(DESTDIR)$(EXECPATH)'
# Also remake documentation
--- NEW FILE: eprover.info ---
Package: eprover
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
Version: 1.1-001
Revision: 1
Depends: gawk, help2man
BuildDepends: fink (= 0.24.12)
Maintainer: Jesse
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 al...@stanford.edu
--
Join us
Revision: 1
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
of the Mizar Mathematical Library (MML).
Maintainer: Jesse Alama jesse.al...@gmail.com
--- NEW FILE: mizar-i386.info ---
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: i386
Version: 7.11.04-4.130.1076
Revision: 1
Description: Build and check first-order formal proofs
Recommends
-html
@@ -26,8 +26,8 @@
Maintainer: Jesse Alama al...@stanford.edu
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.03_4.128.1063-i386-darwin.tar
-Source-MD5: ee738a2f769de1c9b6c11a666f54a271
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n
Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv23998
Modified Files:
mizar-semantic-mml.info
Log Message:
Bump to latest upstream release corresponding to MML 4.130.1076
* change Source: no longer use my
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- polyml.info 3 Dec 2009 05:34:13 - 1.1
+++ polyml.info 6 Dec 2009 10:23:04 - 1.2
@@ -17,9 +17,6 @@
Maintainer: Jesse Alama jesse.al...@gmail.com
SplitOff:
Package: %N-shlibs
- Files: lib/libpolyml.1.dylib lib/libpolyml.dylib
http://www.polyml.org/
Extensive documentation is available at http://www.polyml.org/Doc.html
License: LGPL
DocFiles: COPYING TODO.txt
Maintainer: Jesse Alama jesse.al...@gmail.com
SplitOff:
Package: %N-shlibs
Files: lib/libpolyml.1.dylib
Shlibs: %p/lib/libpolyml.1.dylib 3.0.0 %n (= 5.3-1
will install the Mizar binaries,
documentation, and the MML.
Maintainer: Jesse Alama al...@stanford.edu
Homepage: http://www.mizar.org/
Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.04_4.130.1076-i386-darwin.tar
Source-MD5: 1b306aedefcedcb914a0e0dae8825728
NoSourceDirectory: true
DocFiles
1 - 100 of 207 matches
Mail list logo