Ying-Chieh Liao d15a699539 add cvcl 2.5.1 ... An automatic theorem prover for the SMT problem PR: 103412 Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org>		2006-09-20 01:42:03 +00:00
..
aamath
abakus	- Update to 0.91	2006-09-01 20:24:47 +00:00
abs
add
algae
algotutor
apc
arpack	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
arpack++
asir2000	- Remove math/pari-devel port	2006-06-05 21:43:10 +00:00
asymptote	- Update to 1.13	2006-09-08 12:20:03 +00:00
atlas	Fix error when WITH_OPTIMIZED_FLAGS is specified.	2006-08-07 01:40:52 +00:00
atlas-devel	Fix error when WITH_OPTIMIZED_FLAGS is specified.	2006-08-07 01:40:52 +00:00
bamg
biggles	Obey conventions and change my mail to @FreeBSD.org address	2006-06-16 22:17:25 +00:00
bihar	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
blacs	Build fix for 4-STABLE	2006-08-22 03:47:49 +00:00
blas	- Respect DESTDIR	2006-08-16 16:43:18 +00:00
blitz++
blocksolve95	Switch to MPICH2.	2006-07-23 08:37:53 +00:00
calc
calcoo
calctool	Add XView frontend support for calctool.	2006-07-13 20:21:04 +00:00
ccmath
cgal
chaco	Reset maintainership: Pedro's dev machine has been stolen :-(	2006-07-01 12:16:44 +00:00
chryzodus
clarence
cln	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
concorde
convertall
coq
cvcl	add cvcl 2.5.1	2006-09-20 01:42:03 +00:00
cxsc
dcdflib
diehard
digitizer	Upgrade to 2.15.	2006-09-14 20:34:33 +00:00
dislin	Chase a silent update and unbreak.	2006-07-09 14:32:52 +00:00
djbfft	RESTRICTED is intended here instead of NO_PACKAGE	2006-09-03 17:36:56 +00:00
drgeo	- Fix PLIST: Remove locale dirs not contained in BSD.x11-4.dist	2006-08-07 12:31:00 +00:00
e
edenmath	cleanup pkg-plist after gnustep-make	2006-09-13 05:00:56 +00:00
eispack	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
elmer-mathlibs	Remove overkill optimizations.	2006-07-25 12:58:05 +00:00
elmer-umfpack	Upgrade to 4.4 (PORTEPOCH needed).	2006-07-12 21:57:11 +00:00
emacs-calc
emc2
entropy
eukleides
eval	- Add mastersites.	2006-08-08 11:43:35 +00:00
fbm
femlab
fftw	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
fftw3	- Update to 3.1.2	2006-07-06 06:34:17 +00:00
fftw3-float
fftw3-long
fftw-float
fityk	- Update to 0.7.5	2006-08-10 21:03:01 +00:00
fpc-fftw	- Add OPTIONS to some freepascal ports. Now, we can install the external libs	2006-09-18 18:41:13 +00:00
freefem	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
freefem++	Upgrade to 2.8-1.	2006-06-29 21:07:03 +00:00
freemat	- Upgrade net/lam to 7.1.2 and remove net/lam7;	2006-08-21 20:50:50 +00:00
freemat-mpi
fudgit
fung-calc
fxt	Update to 2006.06.22	2006-06-24 20:28:03 +00:00
galculator	(1) Try to deinstall some locale directories not listed in BSD.local.dist.	2006-08-07 16:46:12 +00:00
gambit	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
gap
gcalctool	Add locale stuff in plist that aren't in mtree/BSD.x11-4.dist.	2006-09-04 22:56:55 +00:00
gdcalc	Reset inactive maintainer who has not responded to email.	2006-09-04 07:26:23 +00:00
geg
geogebra-i18n
geonext
gexpr
GiNaC	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
glgraph
glpk
gmp
gmp-ecm
gnumeric	Fix internal path to the online help.	2006-06-03 17:44:52 +00:00
gnuplot	Add SHA256 checksum	2006-06-07 21:43:28 +00:00
gnuplot+
goblin
grace	Upgrade to 5.1.20.	2006-06-05 20:56:00 +00:00
gracetmpl
graphthing	Upgrade to 1.3	2006-09-18 16:15:27 +00:00
gretl	- Remove directories that are not in mtree file	2006-08-15 07:56:23 +00:00
gri	- Update to 2.12.12	2006-08-17 09:45:47 +00:00
grpn
gsl
guppi	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
hexcalc
isabelle	math/isabelle does not build on pointyhat, because the build process	2006-08-10 12:04:59 +00:00
it++
itl
jacal	Update to 1b6.	2006-08-07 10:44:02 +00:00
jags
jakarta-commons-math	Update to 1.1	2006-06-20 09:23:05 +00:00
jama
javanns
javaview
jsmath	- Add WITH_SPRITE_FONTS option	2006-08-04 13:44:39 +00:00
jsmath-fonts	Remove authors email address	2006-06-04 10:10:37 +00:00
jsmath-fonts-sprite	Fix master sites:	2006-09-03 14:46:16 +00:00
k3dsurf	Upgrade to 0.5.5.	2006-08-20 20:09:33 +00:00
kash3
kaskade
kcalc	KDE 3.5.4 / KOffice 1.5.2	2006-09-12 23:26:52 +00:00
koctave
kseg
labplot
lambda
lapack
lapack95
lapack++	Update to 2.4.9	2006-07-03 08:05:24 +00:00
laspack
ldouble
libgmp4
libjbigi
libmath++
libneural	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
liborigin	- Install missing header	2006-09-05 07:23:02 +00:00
libqalculate
librandlib
libranlib
libRmath	- Update to 2.3.1	2006-09-03 16:01:36 +00:00
libtommath	- Update maintainer addresses	2006-08-19 16:49:49 +00:00
linalg
linpack	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
linux-relview
lp_solve	Fix pkg-plist	2006-09-03 21:06:11 +00:00
mathomatic	Update to 12.6.3	2006-09-07 16:20:22 +00:00
matrix
maxima	Fix SIZE() parameter	2006-06-07 14:20:33 +00:00
mbasecalc
metis
metis4
metis-edf	Upgrade to 4.0-3.	2006-07-08 20:27:38 +00:00
miracl
mpexpr	Reset inactive maintainer who has not responded to email.	2006-09-05 04:43:13 +00:00
mpfr
mprime
mtl
mtrxmath
mumps	- Switch to MPICH2;	2006-07-25 08:44:05 +00:00
mumps-mpich	Add a slave port to build MUMPS with MPICH support.	2006-07-25 08:44:28 +00:00
mupad	Unfortunately mupad we cannot obtain free license anymore..	2006-07-08 06:53:35 +00:00
muparser
naturalmath
nauty
ndiff
newmat
ngraph
nsc2ke
ntl
ocaml-ocamlgraph
octave	octave executable is now installed under libexec,	2006-07-09 02:02:27 +00:00
octave-devel	Add developer version of math/octave as math/octave-devel	2006-09-03 20:48:38 +00:00
octave-forge	Update to 2006.03.17	2006-07-01 11:09:00 +00:00
oleo
orpie
p5-AI-DecisionTree
p5-AI-Genetic
p5-AI-NeuralNet-BackProp
p5-AI-NeuralNet-Mesh	The project no longer exists at CPAN and hasn't for some time. Mark	2006-09-16 09:12:32 +00:00
p5-AI-Perceptron
p5-Algorithm-Combinatorics	- Update from v0.15 to v0.20	2006-06-09 20:29:26 +00:00
p5-Bit-ShiftReg
p5-Bit-Vector
p5-Bit-Vector-Minimal
p5-CAD-Calc	- Update from v0.25 to v0.26	2006-06-06 21:43:48 +00:00
p5-Chart-Math-Axis
p5-Data-Float	- can't build on perl level < 5.6	2006-08-15 08:54:05 +00:00
p5-Date-Handler
p5-Geo-Distance
p5-Graph	Update to 0.79.	2006-08-17 18:41:12 +00:00
p5-Math-Algebra-Symbols
p5-Math-Base85
p5-Math-BaseCalc
p5-Math-Bezier
p5-Math-Bezier-Convert
p5-Math-BigInt
p5-Math-BigRat
p5-Math-Calc-Units	- update to 1.06	2006-06-29 01:48:18 +00:00
p5-Math-Cephes	- Update from v0.42 to v0.43	2006-06-18 18:10:06 +00:00
p5-Math-Combinatorics
p5-Math-ConvexHull	Update to 1.01.	2006-07-27 09:48:52 +00:00
p5-Math-Currency
p5-Math-Derivative
p5-Math-Expr	USE_SIZE was obsoleted in rev. 1.484 of bsd.port.mk more than	2006-06-11 15:29:01 +00:00
p5-Math-FFT	USE_SIZE was obsoleted in rev. 1.484 of bsd.port.mk more than	2006-06-11 15:29:01 +00:00
p5-Math-FixedPrecision
p5-Math-Geometry	Add p5-Math-Geometry 0.04, geometry related functions.	2006-08-22 06:59:16 +00:00
p5-Math-Geometry-Planar
p5-Math-Geometry-Planar-GPC
p5-Math-Geometry-Planar-Offset
p5-Math-GMP
p5-Math-GSL
p5-Math-Interpolate	USE_SIZE was obsoleted in rev. 1.484 of bsd.port.mk more than	2006-06-11 15:29:01 +00:00
p5-Math-Intersection-StraightLine
p5-Math-LinearCombination
p5-Math-Logic	USE_SIZE was obsoleted in rev. 1.484 of bsd.port.mk more than	2006-06-11 15:29:01 +00:00
p5-Math-Matrix
p5-Math-Pari	Schedule these broken ports for termination on 2006-12-01	2006-09-02 16:51:10 +00:00
p5-Math-Random	Update to 0.69	2006-09-14 11:25:00 +00:00
p5-Math-Random-MT
p5-Math-Random-MT-Auto	- Update to 5.03	2006-08-11 12:35:28 +00:00
p5-Math-Random-OO	Add p5-Math-Random-OO 0.19, consistent object-oriented interface for	2006-07-25 20:59:17 +00:00
p5-Math-RandomOrg
p5-Math-Round
p5-Math-Round-Var	- Update from v0.02 to v0.03	2006-06-06 21:57:55 +00:00
p5-Math-Sequence
p5-Math-Series
p5-Math-SimpleVariable
p5-Math-Spline
p5-Math-Symbolic
p5-Math-Symbolic-Custom-CCompiler
p5-Math-Symbolic-Custom-Contains
p5-Math-Symbolic-Custom-ErrorPropagation
p5-Math-Symbolic-Custom-LaTeXDumper	- Update from v0.202 to v0.203	2006-06-10 04:10:17 +00:00
p5-Math-Symbolic-Custom-Pattern
p5-Math-Symbolic-Custom-Simplification
p5-Math-Symbolic-Custom-Transformation
p5-Math-SymbolicX-BigNum
p5-Math-SymbolicX-Complex
p5-Math-SymbolicX-Error
p5-Math-SymbolicX-Inline
p5-Math-SymbolicX-NoSimplification
p5-Math-SymbolicX-ParserExtensionFactory
p5-Math-SymbolicX-Statistics-Distributions
p5-Math-TrulyRandom
p5-Math-Units
p5-Math-Vec	- Update to 0.040	2006-07-01 16:11:52 +00:00
p5-Math-VecStat
p5-MatrixReal	- Update from v1.9 to v2.01	2006-06-15 01:12:14 +00:00
p5-NetCDF
p5-Number-Compare
p5-Number-WithError	- Update from v0.03 to v0.05	2006-06-10 04:05:53 +00:00
p5-Number-WithError-LaTeX	- Update from v0.02 to v0.03	2006-06-10 04:36:01 +00:00
p5-Roman
p5-Set-IntSpan
p5-Set-Partition	Adding port math/p5-Set-Partition, Enumerate all arrangements of a set in	2006-06-06 00:40:10 +00:00
p5-Set-Window
p5-Statistics-ChiSquare
p5-Statistics-Contingency
p5-Statistics-Descriptive
p5-Statistics-Distributions
p5-Statistics-Lite	Update to 2.0.	2006-07-13 11:58:46 +00:00
p5-Statistics-LTU
p5-Statistics-OLS
p5-Task-Math-Symbolic	add p5-Task-Math-Symbolic 1.01	2006-08-04 06:32:05 +00:00
pari	Fix typos wrt. Makefile variables like $FOO}	2006-09-07 10:31:54 +00:00
parmetis
PDL	Respect DESTDIR	2006-08-15 09:07:10 +00:00
pear-Structures_Graph
pecl-big_int
pecl-stats	This ststs extension for PHP provides few dozens routines for statistical	2006-07-31 19:48:49 +00:00
petsc	Upgrade to PETSc 2.3.2.	2006-09-02 21:59:18 +00:00
petsc-mpich
pgcalc
php4-bcmath
php4-gmp
php5-bcmath
php5-gmp
physcalc
plman
ploticus
ploticus-nox11
plplot	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
polymake
proofgeneral	Remove zero-sized files.	2006-07-10 20:44:48 +00:00
pspp
py-fpconst	- Fix fetch by updating MASTER_SITES	2006-06-07 21:03:08 +00:00
py-gato	- Fix mastersite.	2006-09-12 13:02:42 +00:00
py-gnuplot
py-gsl
py-matplotlib
py-mpz
py-numarray
py-numeric
py-numeric17
py-numpy	- Mark BROKEN on FreeBSD 4.X: does not compile	2006-09-12 08:21:39 +00:00
py-probstat
py-scientific
qalculate
qgfe
qhull	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
qhull5	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
qscanplot
qtiplot	- Update qtiplot from 0.8.6.2 to 0.8.7.2.	2006-09-10 08:05:25 +00:00
qtiplot-doc	The QtiPlot Handbook.	2006-09-10 08:04:15 +00:00
qwtplot3d	- Assign maintainership to submitter	2006-06-21 17:27:21 +00:00
qwtplot3d-qt4	- Assign maintainership to submitter	2006-06-21 17:27:21 +00:00
R	- Update to 2.3.1	2006-09-03 16:03:30 +00:00
randlib
rascal
reed-solomon
rkward	Upgrade to 0.3.7.	2006-09-17 21:11:44 +00:00
rkward-kde4	Upgrade to 0.3.7.	2006-09-17 21:11:44 +00:00
rpc
rpy
rpy2
ruby-algebra
ruby-bitset
ruby-bitvector
ruby-fftw3
ruby-gmp
ruby-gnuplot
ruby-gsl	- Change to use MASTER_SITE_RUBYFORGE macro to fix fetch problem.	2006-08-08 11:35:27 +00:00
ruby-narray
ruby-narray_miss
ruby-netcdf
ruby-numru_misc
ruby-numru_units
sc
scalapack	remove unnecessary empty files	2006-07-24 11:56:53 +00:00
scigraphica
scilab	Mark as BROKEN on amd64 -CURRENT, too.	2006-09-18 16:37:21 +00:00
scilab-toolbox-swt	Add scilab-toolbox-swt 0.1.0.r3, scilab 1-D and 2-D Wavelet Toolbox.	2006-06-16 21:19:57 +00:00
sdpa
sdpara
ses
simd-viterbi
slsc
snns
solitaire
spar	- s,INSTALLS_SHLIB,USE_LDCONFIG,g	2006-08-15 00:29:13 +00:00
spooles	Change dependence to net/mpich2	2006-07-23 01:34:26 +00:00
spooles-mpich
ss
stepulator	cleanup pkg-plist after gnustep-make	2006-09-13 05:00:56 +00:00
suitesparse	Update pkg-descr	2006-09-19 21:43:45 +00:00
superlu	Make fetchable.	2006-08-06 09:44:20 +00:00
superlu_mt	Use blas instead of atlas	2006-06-21 05:53:05 +00:00
surf	- Update to 1.0.5	2006-08-14 16:12:50 +00:00
tablix
taucs
tetgen	- Update distinfo to reflect re-rolled distfile (and unbreak port).	2006-07-27 22:00:39 +00:00
tomsfastmath	Now builds on sparc64	2006-09-17 20:08:47 +00:00
topaz
triangle
truthtable	Remove unnecesary substitutions from SUB_LIST.	2006-07-11 08:49:21 +00:00
tvmet
ufsparse	Update pkg-descr	2006-09-19 21:43:45 +00:00
umatrix
umfpack
ump	Update to 0.8.4	2006-07-10 15:44:43 +00:00
units
unixstat
vtk	Unbreak this and slave ports.	2006-07-09 23:05:10 +00:00
vtk5	Unbreak this and slave ports.	2006-07-09 23:05:10 +00:00
vtk43
vtk43-headers
vtk-data
vtk-examples
vtk-headers
vtk-java
vtk-python	Schedule these broken ports for termination on 2006-12-01	2006-09-02 16:51:10 +00:00
vtk-tcl
wfmath	update wfmath to 0.3.5	2006-08-21 14:54:27 +00:00
wingz
wingz3	add SHA256 checksum	2006-06-07 14:19:41 +00:00
wmcalc
wxMaxima	- Update to 0.7.0	2006-09-03 00:10:21 +00:00
xgfe
xgobi
xgraph
xldlas
xlispstat
xplot
xppaut
xspread
yacas	Switch to my @FreeBSD.org address.	2006-06-19 20:06:59 +00:00
Makefile	add cvcl 2.5.1	2006-09-20 01:42:03 +00:00