mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-08 12:01:56 +00:00
Code Issues Releases Activity
freebsd-ports/math
History
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
Ugrade to version 2.11.11.
2006-06-02 11:17:06 +00:00
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
- Update packages to new version
2006-05-26 13:34:12 +00:00
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
Update to version 4.10.
2006-05-29 14:04:13 +00:00
gmp
…
gmp-ecm
Add gmp-ecm 6.1, elliptic Curve Method for Integer Factorization.
2006-06-03 13:57:46 +00:00
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
- Change dependencies reflecting update in graphics/ImageMagick
2006-05-24 14:21:45 +00:00
lambda
…
lapack
Fix to correctly build with a Fortran compiler other than /usr/bin/f77.
2006-05-28 22:42:41 +00:00
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
Update to 0.9.3
2006-05-21 13:38:51 +00:00
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
devel/pkgconfig -> devel/pkg-config
2006-05-28 05:25:50 +00:00
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
Adding port math/p5-Math-Algebra-Symbols, Symbolic Algebra in Pure Perl.
2006-05-25 20:52:05 +00:00
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
Adding port math/p5-Math-Geometry-Planar, a collection of planar geometry functions.
2006-05-21 23:25:32 +00:00
p5-Math-Geometry-Planar-GPC
Adding port math/p5-Math-Geometry-Planar-GPC, Perl wrapper for Alan Murta's gpc library
2006-05-21 22:46:25 +00:00
p5-Math-Geometry-Planar-Offset
- Update from v1.03_01 to v1.04
2006-05-22 03:28:56 +00:00
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
- Updated from v0.02 to v0.03
2006-06-02 02:42:00 +00:00
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
Adding port math/p5-Math-SequenceE, a Perl extension dealing with mathematic sequences
2006-05-15 17:12:48 +00:00
p5-Math-Series
Adding port math/p5-Math-Series, a Perl extension dealing with mathematic series
2006-05-15 17:18:09 +00:00
p5-Math-SimpleVariable
…
p5-Math-Spline
…
p5-Math-Symbolic
- pkg-plist fix
2006-05-16 00:14:37 +00:00
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
Adding port math/p5-Math-SymbolicX-Error, Parser extension for dealing with numeric errors
2006-05-15 16:58:42 +00:00
p5-Math-SymbolicX-Inline
…
p5-Math-SymbolicX-NoSimplification
…
p5-Math-SymbolicX-ParserExtensionFactory
…
p5-Math-SymbolicX-Statistics-Distributions
- Updated from v1.01 to v1.02
2006-05-23 16:51:00 +00:00
p5-Math-TrulyRandom
…
p5-Math-Units
Adding port math/p5-Math-Units, a Perl library to perform unit conversion.
2006-05-25 20:27:48 +00:00
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
Update to 0.9.3
2006-05-21 13:38:51 +00:00
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
Use BLAS instead of ATLAS by default.
2006-05-29 20:34:20 +00:00
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
Add a MASTER_SITE.
2006-05-16 10:28:07 +00:00
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