1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/math
John Marino bf1b55a763 Add two new math ports: why3 and why3-gpl
The primary motivation for adding why3 is to support the upcoming SPARK
2014 port.  However, SPARK 2014 requires a custom version.  In time the
customizations should make it upstream, but currently the stock version
cannot be used to build SPARK.  They are also licensed differently (LGPL2
for stock, GPLv3 for SPARK version).

Rather than force people that find why3 useful on their own to accept a
custom version, both are offered although they currently conflict.

Why3 has optional dependencies on coq, isabelle, and frama-c, and all
three have issus:
  * coq rebuilds its libraries in $LOCALBASE, could be issue with coq
  * isabella currently has a broken dependency (sjsml) and only for i386
    when it's not.  Updating to 2013-2 version failed, as did trying to
    build it with polyml instead of sjsml
  * frama-c is fine, but the plugin code in why3 is still experimental
    and upstream recommends that it not be used.

     ==============================================================

Why3 is a platform for deductive program verification. It provides a rich
language for specification and programming, called WhyML, and relies on
external theorem provers, both automated and interactive, to discharge
verification conditions. Why3 comes with a standard library of logical
theories (integer and real arithmetic, Boolean operations, sets and maps,
etc.) and basic programming data structures (arrays, queues, hash tables,
etc.). A user can write WhyML programs directly and get correct-by-
construction OCaml programs through an automated extraction mechanism.
WhyML is also used as an intermediate language for the verification of C,
Java, or Ada programs.

Why3 is a complete reimplementation of the former Why platform. Among the
new features are: numerous extensions to the input language, a new
architecture for calling external provers, and a well-designed API,
allowing to use Why3 as a software library. An important emphasis is put
on modularity and genericity, giving the end user a possibility to easily
reuse Why3 formalizations or to add support for a new external prover if
wanted.
2014-06-04 19:22:33 +00:00
..
aamath - Support staging 2014-02-21 10:14:16 +00:00
abacus Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
abakus math/abakus: Use absolute path of flex during specification 2014-02-21 18:35:55 +00:00
abs The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
add - Update to 20140105 2014-02-12 08:43:59 +00:00
algae Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
algotutor Stage support. 2014-05-30 15:13:33 +00:00
alt-ergo math/alt-ergo: Update version 0.94 => 0.95.2 and support stage 2014-06-02 23:51:07 +00:00
analitza KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
ann - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
apc - Add stage support 2014-02-15 14:27:49 +00:00
aribas
armadillo Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
arpack Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
arpack-ng Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
arpack++ - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
asir2000 - Update to 20140513 2014-05-24 14:11:38 +00:00
aspcud Chase boost and icu bump 2014-02-07 11:44:08 +00:00
asymptote - Update to 2.32 [1] 2014-05-28 23:32:55 +00:00
atlas Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
atlas-devel Fixup for USES=fortran conversion. These ports require USE_GCC=yes 2014-03-15 19:01:39 +00:00
bamg - Implement staging. 2014-01-26 22:45:51 +00:00
bargraph
biggles - Chase revision 353604 to graphics/plotutils. 2014-05-10 22:00:59 +00:00
bihar Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
blacs Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
blas Stage support 2014-04-05 16:30:29 +00:00
blitz++ - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
blocksolve95 Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
bsdnt A BSD licensed Bignum library 2014-01-03 21:37:23 +00:00
calc Enable stage support 2013-12-29 20:54:45 +00:00
calcoo
calctool - Support staging 2014-05-10 00:24:32 +00:00
cantor KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
carve The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
cblas Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
ccmath - Enable staging 2013-12-30 23:49:31 +00:00
cgal - Update to 4.3 2014-03-02 16:20:46 +00:00
chaco - Add stage support 2014-02-15 14:22:29 +00:00
chryzodus - Remove leading article from COMMENT 2013-11-10 23:13:21 +00:00
clarence Support staging 2014-03-20 15:14:08 +00:00
clasp - Update to 2.1.4 2014-01-10 13:33:13 +00:00
clipper Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
cln - Stage support 2014-02-03 09:47:27 +00:00
cloog - Add LICENSE 2014-04-11 02:59:07 +00:00
clp Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
coinmp Fix license to allow package redistribution 2014-03-26 15:46:06 +00:00
concorde Support staging 2014-02-21 10:18:51 +00:00
convertall - Add stage support 2014-02-16 19:01:57 +00:00
coq - Update coq to 8.4.3 2014-01-11 09:31:40 +00:00
crlibm
cvc3 - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later 2013-11-13 15:55:09 +00:00
dcdflib
diehard - Add stage support 2014-02-16 18:59:21 +00:00
dieharder Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
djbfft - Stage support 2014-02-26 07:40:07 +00:00
drgeo - Convert USE_GNOME=gnomehack to USES 2014-04-22 01:26:22 +00:00
dynare graphics/vips and the rest: 2014-03-28 09:23:08 +00:00
e Support staging 2014-02-21 10:20:34 +00:00
edenmath Stage support 2014-02-11 20:38:46 +00:00
eigen2 - Add stage support 2014-02-20 13:00:31 +00:00
eigen3 Update to 3.2.1. 2014-03-02 15:46:10 +00:00
eispack Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
elmer-umfpack Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
emacs-calc Maintainer no longer wishes to maintain those ports 2014-05-10 16:09:48 +00:00
emc2 Remove trailing whitespaces from category math 2014-02-21 13:38:05 +00:00
ent - Add USES=compiler, needed for clang patch 2014-03-18 14:58:23 +00:00
entropy
ess Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
eukleides - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
eval Convert to USES=lha 2014-03-12 09:49:06 +00:00
facile math/facile: 2014-05-13 07:25:54 +00:00
fann Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
fflas-ffpack Convert all USE_FORTRAN=yes to "USES=fortran, USE_GCC=yes". In most cases 2014-02-16 17:15:31 +00:00
fftw When linking a library libA with a library libB using libtool, if libB.la 2014-04-23 13:25:16 +00:00
fftw3 Remove useless post-patch-script in append it to post-patch 2014-04-04 13:45:36 +00:00
fftw3-float Fix i386 builds using clang [1]; use staging; 2014-03-05 03:17:04 +00:00
fftw3-long Fix i386 builds using clang [1]; use staging; 2014-03-05 03:17:04 +00:00
fftw3-quad Fix i386 builds using clang [1]; use staging; 2014-03-05 03:17:04 +00:00
fftw-float - Add USES=libtool to fix linker problem on FreeBSD/i386 8.x and 2014-03-05 17:27:27 +00:00
fityk When linking a library libA with a library libB using libtool, if libB.la 2014-04-23 13:25:16 +00:00
foma Respect CC/CFLAGS; add missing bison build dep. 2014-05-16 10:44:03 +00:00
fpc-fftw Stage support 2014-01-28 00:16:57 +00:00
fpc-gmp Stage support 2014-01-28 00:16:57 +00:00
fpc-numlib Stage support 2014-01-28 00:16:57 +00:00
freemat Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
fricas - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
fxt - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
galculator Update to 2.1.3: bug fixes, new and updated translations 2014-03-15 19:47:35 +00:00
gambit - Fix build 2014-04-23 14:52:17 +00:00
gap Update to GAP 4.7.5 2014-05-28 08:41:42 +00:00
gcalctool Support stage 2014-04-11 16:52:39 +00:00
gdcalc math/gdcalc: Explicitly link libmath (taken from dports) 2014-02-05 20:27:57 +00:00
geg - Stage support 2014-02-03 09:40:26 +00:00
geogebra-i18n Fix properties on pkg-plist 2014-01-21 23:40:21 +00:00
geonext Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
gexpr - Add stage support 2014-02-16 18:38:59 +00:00
ggobi - Don't remove mtree directories 2014-05-09 21:13:09 +00:00
giacxcas Multiple ports: reset maintainers 2014-05-26 02:33:38 +00:00
GiNaC - Change AUTOTOOLS=libtool to USES=libtool. 2014-05-10 21:36:36 +00:00
givaro
gkmap The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
glgraph
glm Update to 0.9.5.3. 2014-04-02 11:07:43 +00:00
glpk - Stagify 2014-05-27 18:18:53 +00:00
gmm++
gmp When linking a library libA with a library libB using libtool, if libB.la 2014-04-23 13:25:16 +00:00
gmp-ecm - Stage support 2014-02-05 12:00:05 +00:00
gnubc
gnumeric - Fix various distinfo errors 2014-05-31 16:37:58 +00:00
gnuplot - Chase revision 353604 to graphics/plotutils. 2014-05-10 21:17:45 +00:00
goblin
gotoblas - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
grace - Update to 4.3.2 (from science/netcdf4) 2014-05-03 03:17:19 +00:00
gracetmpl - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
graphthing Use only 2.8 and unicode version of wxGTK 2014-03-24 17:16:56 +00:00
gretl The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
gri - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
gringo - Unbreak on FreeBSD < 10 2014-01-24 15:44:33 +00:00
grpn Convert to staging, add missing includes. 2013-11-05 15:52:36 +00:00
gsl Attempt to fix the build on powerpc* by the same means used on Darwin and GNU/Linux 2014-03-03 12:06:38 +00:00
hexcalc The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
hs-Agda - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-categories - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-comonad - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-comonad-transformers - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-comonads-fd - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-contravariant - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-data-lens - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-data-lens-template - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-distributive - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-erf - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-groupoids - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-ieee754 - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-math-functions - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-mwc-random - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-nats - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-NumInstances - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-pointed - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-probability - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-semigroupoid-extras - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-semigroupoids - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-semigroups - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-statistics - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
hs-vector-space - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and 2014-03-29 00:52:54 +00:00
igraph The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
isabelle
ised Modernize my ports 2014-03-13 03:50:44 +00:00
itl
jacal - Update to 1c3 2014-04-06 05:51:57 +00:00
jags Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
jakarta-commons-math - Add LICENSE 2014-04-26 18:15:42 +00:00
jakarta-commons-math3 - Update to 3.2 2014-04-26 18:15:36 +00:00
jama math/jama: use equivalent UNZIP_CMD instead of EXTRACT_CMD 2014-06-01 11:14:59 +00:00
javanns
javaview Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
jeuclid jmusic, jeuclid: USES+= zip 2014-05-27 18:32:18 +00:00
jlatexmath math/jlatexmath: fix typo 2014-05-01 15:34:02 +00:00
jsmath Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
jsmath-fonts Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
jsmath-fonts-sprite Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
jtransforms - Add staging support. 2014-05-15 23:28:16 +00:00
jts Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
kalgebra KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
kash3 Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
kbruch KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
kcalc KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
kig KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
kktdirect Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
kmplot KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
labplot - Update to 2.0.1 2014-05-18 07:31:40 +00:00
lambda - Add stage support 2014-02-15 14:31:57 +00:00
lapack Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
lapack95 Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
lapack++ Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
lapacke Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
laspack
ldouble - Support staging 2014-02-21 10:25:34 +00:00
levmar Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
libflame - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
libjbigi - Reassign lioux' ports to the heap 2014-02-14 16:51:44 +00:00
liblbfgs
libmissing Support stage 2014-05-06 12:26:18 +00:00
libneural - Switch to USES=libtool, drop .la files 2014-05-27 13:47:46 +00:00
libocas Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
liborigin
libqalculate The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
libR Support stage 2014-04-04 14:44:45 +00:00
libranlip
libRmath Stage support 2014-04-05 10:30:21 +00:00
libtommath - STAGE-clean 2014-02-14 08:27:10 +00:00
libtsnnls Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
linpack Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
lll_spect
lp_solve - Stage support 2014-02-05 09:28:07 +00:00
lrng
ltl - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
ltl2ba Support staging 2014-02-21 10:26:27 +00:00
lybniz - Add stage support 2014-02-15 14:52:01 +00:00
mate-calc The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
mathomatic Quiesce mkdir 2014-03-18 14:26:57 +00:00
matio - Update to 1.8.12 (from science/hdf5-18) 2014-05-03 00:55:30 +00:00
matlab-installer Uncomment the dependencies, as originally set in ports/184607. 2014-02-12 20:20:10 +00:00
matrix Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
maxima Update to 5.31.3 2013-11-20 10:06:40 +00:00
mbasecalc - Respect CXX/CXXFLAGS 2013-12-25 14:25:22 +00:00
metis - rename AL2 to APACHE20 in Mk/bsd.licenses.db.mk 2013-12-30 20:55:18 +00:00
metis4 Strip shared object 2014-02-21 10:29:38 +00:00
metis-edf Upgrade Code_Aster to 11.5.0-4. 2014-03-18 21:09:03 +00:00
mingw32-libgmp math/mingw32-libgmp: update to 5.1.3 and support staging 2014-03-04 11:37:57 +00:00
minisat - Unbreak with clang 3.4 (not bumping revision). 2014-03-31 10:52:41 +00:00
miracl Fix build with clang34 2014-04-11 03:57:13 +00:00
moo Update MASTER_SITES 2014-01-15 16:05:42 +00:00
mpc Update to version 1.0.2 which brings two bug fixes: 2014-01-20 19:07:29 +00:00
mpexpr - Fix build with Tcl 8.6 2013-11-06 14:50:24 +00:00
mpfr When linking a library libA with a library libB using libtool, if libB.la 2014-04-23 13:25:16 +00:00
mprime
msieve - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
mtl
mtrxmath - Add stage support 2014-02-16 18:32:48 +00:00
mumps 1- Upgrade to 4.10.0: this version is required by french/aster; 2014-05-13 21:45:49 +00:00
mumps-mpich 1- Upgrade to 4.10.0: this version is required by french/aster; 2014-05-13 21:45:49 +00:00
muparser Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
naturalmath - Implement staging. 2014-01-26 23:00:43 +00:00
nauty - Fix build 2014-05-17 09:51:11 +00:00
ndiff - Fix typo 2014-02-07 14:58:07 +00:00
newmat - STAGE-clean 2014-02-14 08:56:25 +00:00
ngraph
ntl
numdiff - Really Stage 2014-02-15 12:32:41 +00:00
nyh-hoc - Add stage support 2014-02-15 15:03:55 +00:00
ocaml-ocamlgraph - Update to ocamlgraph 1.8.5 2014-05-05 20:59:40 +00:00
ocaml-zarith Add new Ocaml port: math/ocaml-zarith 2014-06-02 21:28:39 +00:00
ocamlgsl Works with any modern compiler 2013-12-13 15:35:19 +00:00
octave - Chase revision r353615 to math/qhull5. 2014-05-10 21:54:54 +00:00
octave-forge Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-actuarial Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-ad Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
octave-forge-audio Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-base Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-bim - Update to 1.1.4. 2014-03-31 01:09:19 +00:00
octave-forge-bioinfo Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-cgi Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-civil-engineering Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-communications Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-control - Update to 2.6.3. 2014-04-23 17:46:20 +00:00
octave-forge-data-smoothing Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-database Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-dataframe - Update to 1.0.0. 2014-03-30 14:59:41 +00:00
octave-forge-dicom Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-divand Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-econometrics Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-engine - Add a definition of HOME to configure_args, because octave likes to write 2014-04-20 21:00:52 +00:00
octave-forge-fenv Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-financial Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-fits - Update to 1.0.5. 2014-05-26 16:56:07 +00:00
octave-forge-fl-core Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
octave-forge-fpl Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-fuzzy-logic-toolkit Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-ga Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-general Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-generate_html Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-geometry Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-gnuplot Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-gsl - Add a definition of HOME to configure_args, because octave likes to write 2014-04-20 21:00:52 +00:00
octave-forge-ident Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-image Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-informationtheory Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-integration Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-io - Update to 2.2.2. 2014-05-12 19:26:14 +00:00
octave-forge-irsa Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-linear-algebra Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-lssa - Simplify code in patch. 2014-05-18 18:15:36 +00:00
octave-forge-ltfat - Update to 1.4.4. 2014-03-27 01:58:01 +00:00
octave-forge-mapping Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-mechanics Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-miscellaneous - Correction to patch: delete -> delete[]. 2014-05-17 19:57:55 +00:00
octave-forge-missing-functions Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-msh Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-multicore Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-mvn Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-nan Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-ncarray - Update 1.0.3. 2014-05-05 00:19:18 +00:00
octave-forge-netcdf - Update to 1.0.4. 2014-05-26 21:33:05 +00:00
octave-forge-nlwing2 Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-nnet Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-nurbs Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-ocs Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-oct2mat Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-octcdf - Update to 4.3.2 (from science/netcdf4) 2014-05-03 03:17:19 +00:00
octave-forge-octclip Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-octgpr Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-octproj Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-odebvp Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-odepkg Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-optim - Update to 1.3.1. 2014-06-02 13:19:44 +00:00
octave-forge-optiminterp Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-outliers Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-parallel - Add a definition of HOME to configure_args, because octave likes to write 2014-04-20 21:00:52 +00:00
octave-forge-pdb Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-plot Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-pt_br Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-quaternion Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-queueing - Update to 1.2.3. 2014-03-12 21:51:28 +00:00
octave-forge-secs1d Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-secs2d Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-secs3d Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-signal Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-simp Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-sockets Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-specfun Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-special-matrix Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-spline-gcvspl - Add a definition of HOME to configure_args, because octave likes to write 2014-04-20 21:00:52 +00:00
octave-forge-splines - Update to 1.2.7. 2014-04-02 17:26:39 +00:00
octave-forge-statistics Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-strings Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-struct Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-symband Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-symbolic - Chase revision r353611 to graphics/plotutils. 2014-05-10 21:38:12 +00:00
octave-forge-tcl-octave Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-tsa Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-video - Add a definition of HOME to configure_args, because octave likes to write 2014-04-18 03:43:47 +00:00
octave-forge-xraylib Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
octave-forge-zenity Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
ogdf Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
oleo - Chase revision 353604 to graphics/plotutils. 2014-05-10 21:17:45 +00:00
open-axiom - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
openblas Support staging 2014-06-02 18:40:05 +00:00
openfst Update to 1.4.1. 2014-04-30 13:06:56 +00:00
orpie - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
p5-AI-DecisionTree Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-AI-Genetic - Add LICENSE 2014-05-09 03:43:00 +00:00
p5-AI-NeuralNet-BackProp - Add LICENSE 2014-05-09 03:42:47 +00:00
p5-AI-Perceptron - Add LICENSE 2014-05-09 03:42:52 +00:00
p5-Algorithm-Combinatorics Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Algorithm-CurveFit - Respect upstream naming: rename math/p5-MatrixReal to math/p5-Math-MatrixReal 2013-11-22 19:07:32 +00:00
p5-Algorithm-KMeans - support stage 2014-01-05 12:07:20 +00:00
p5-Algorithm-Munkres - Pass maintainership to perl@ 2014-05-22 15:02:27 +00:00
p5-bignum Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Bit-ShiftReg
p5-Bit-Vector - add stage support 2014-01-30 09:42:48 +00:00
p5-Bit-Vector-Minimal Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-CAD-Calc - Add LICENSE 2014-05-09 03:42:56 +00:00
p5-Chart-Math-Axis Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Data-Float Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Date-Handler Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Geo-Coordinates-UTM - add stage support 2014-01-30 10:27:43 +00:00
p5-Geo-Distance Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Geo-Distance-XS - add stage support 2014-01-30 10:27:43 +00:00
p5-GIS-Distance Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-GIS-Distance-Fast - add stage support 2014-01-30 09:42:48 +00:00
p5-GIS-Distance-Lite - add stage support 2014-01-30 09:42:48 +00:00
p5-Graph - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-Algebra-Symbols - Add LICENSE 2014-05-09 03:43:05 +00:00
p5-Math-Base36 - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-Base85 - add stage support 2014-01-30 10:27:43 +00:00
p5-Math-BaseCalc - Support STAGE 2013-12-27 13:08:28 +00:00
p5-Math-BaseCnv - Pass maintainership to perl@ 2014-05-22 15:02:27 +00:00
p5-Math-Bezier Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Bezier-Convert Use new USES=dos2unix 2013-11-18 16:45:09 +00:00
p5-Math-BigInt - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-BigInt-FastCalc - Update to 0.31 2014-05-21 07:49:03 +00:00
p5-Math-BigInt-GMP - Update to 1.38 2014-05-21 07:53:10 +00:00
p5-Math-BigInt-Pari - Update to 1.18 2014-05-21 07:55:07 +00:00
p5-Math-BigRat Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Calc-Units Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-CDF - add stage support 2014-01-30 10:27:43 +00:00
p5-Math-Cephes - Update to 0.5304 2014-02-10 22:45:31 +00:00
p5-Math-Combinatorics - Add LICENSE 2014-05-09 03:42:43 +00:00
p5-Math-Complex Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-ConvexHull - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-Currency Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Derivative - Add LICENSE 2014-05-09 03:42:39 +00:00
p5-Math-Evol Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Expr Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-FFT - Add LICENSE 2014-05-09 03:42:30 +00:00
p5-Math-FixedPrecision Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Fleximal This is a package for doing integer arithmetic while using a different 2014-02-18 16:06:46 +00:00
p5-Math-Geometry - add stage support 2014-01-30 10:27:43 +00:00
p5-Math-Geometry-Planar - Fix WRKSRC (affected by DISTNAME) 2014-05-09 15:23:12 +00:00
p5-Math-Geometry-Planar-GPC - Add LICENSE 2014-05-09 03:42:21 +00:00
p5-Math-Geometry-Planar-GPC-Polygon - Fix plist 2014-02-07 00:51:51 +00:00
p5-Math-Geometry-Planar-Offset - Add LICENSE 2014-05-09 03:42:34 +00:00
p5-Math-Geometry-Voronoi Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-GMP - Update to 2.07 2014-02-10 22:42:16 +00:00
p5-Math-GMPf - Update to 0.39 2014-04-26 18:10:15 +00:00
p5-Math-GMPq - Update to 0.37 2014-03-29 08:39:57 +00:00
p5-Math-GMPz - Update to 0.38 2014-03-30 15:57:14 +00:00
p5-Math-Gradient Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-GSL - Update to 0.29 2014-06-03 12:44:38 +00:00
p5-Math-Int64
p5-Math-Int128 Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
p5-Math-Interpolate - Update to 1.06 2013-11-11 14:11:08 +00:00
p5-Math-Intersection-StraightLine - Add LICENSE 2014-05-09 03:42:17 +00:00
p5-Math-Logic - Pass maintainership to submitter 2014-05-25 13:54:19 +00:00
p5-Math-Matrix
p5-Math-MatrixReal - Update to 2.11 2014-02-07 09:29:56 +00:00
p5-Math-MPC Update to 1.01 2014-01-17 14:11:32 +00:00
p5-Math-MPFR - Update to 3.21 2013-12-02 09:16:47 +00:00
p5-Math-NumberCruncher Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Pari - Update to 2.01080607 2014-05-21 07:57:41 +00:00
p5-Math-Polygon Update to 1.03 2014-01-23 16:02:43 +00:00
p5-Math-Polygon-Tree
p5-Math-Polynomial-Solve - Update to 2.70 2014-05-21 07:59:19 +00:00
p5-Math-Prime-XS
p5-Math-Random Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Random-ISAAC - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-Random-ISAAC-XS - Stage support 2014-02-01 14:41:49 +00:00
p5-Math-Random-MT Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Random-MT-Auto - Remove outdated PERL_LEVEL check 2014-03-06 18:51:17 +00:00
p5-Math-Random-OO - Update to 0.22 2014-02-04 11:41:24 +00:00
p5-Math-Random-Secure - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-RandomOrg - Add LICENSE 2014-05-09 03:42:13 +00:00
p5-Math-Round - Add LICENSE 2014-05-04 12:52:31 +00:00
p5-Math-Round-Var - Add LICENSE 2014-05-09 03:42:09 +00:00
p5-Math-RPN - add stage support 2014-01-30 10:27:43 +00:00
p5-Math-Sequence - Add LICENSE 2014-05-09 03:41:59 +00:00
p5-Math-Series - Add LICENSE 2014-05-09 03:42:04 +00:00
p5-Math-SigFigs - add stage support 2014-01-30 09:42:48 +00:00
p5-Math-SimpleVariable Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Spline - Add LICENSE 2014-05-09 03:41:46 +00:00
p5-Math-String Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-CCompiler Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-Contains Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-ErrorPropagation Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-LaTeXDumper Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-Pattern Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Symbolic-Custom-Simplification - Add LICENSE 2014-05-09 03:41:32 +00:00
p5-Math-Symbolic-Custom-Transformation Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-SymbolicX-BigNum - Add LICENSE 2014-05-09 03:41:54 +00:00
p5-Math-SymbolicX-Complex Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-SymbolicX-Error Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-SymbolicX-Inline Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-SymbolicX-NoSimplification - Add LICENSE 2014-05-09 03:41:28 +00:00
p5-Math-SymbolicX-ParserExtensionFactory Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-SymbolicX-Statistics-Distributions - Add LICENSE 2014-05-09 03:41:50 +00:00
p5-Math-TrulyRandom - Support staging 2014-02-06 12:27:50 +00:00
p5-Math-Units Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-Vec - Stage support 2014-02-01 14:41:49 +00:00
p5-Math-VecStat Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Math-VectorReal - Pass maintainership to perl@ 2014-05-22 15:02:27 +00:00
p5-NetCDF - Update to 4.3.2 (from science/netcdf4) 2014-05-03 03:17:19 +00:00
p5-Number-Compare Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Number-Fraction - Update to 2.00 2014-05-09 20:01:57 +00:00
p5-Number-Uncertainty
p5-Number-WithError - add stage support 2014-01-30 10:27:43 +00:00
p5-Number-WithError-LaTeX - Add LICENSE 2014-05-09 03:41:36 +00:00
p5-Parse-Range Stage support and fix plist 2014-02-04 18:23:07 +00:00
p5-Roman - add stage support 2014-01-30 10:27:43 +00:00
p5-Set-IntSpan
p5-Set-IntSpan-Fast - add stage support 2014-01-30 10:27:43 +00:00
p5-Set-IntSpan-Fast-XS - add stage support 2014-01-30 10:27:43 +00:00
p5-Set-Partition - Add LICENSE 2014-05-09 03:41:41 +00:00
p5-Set-Window - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-Basic - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-Benford - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-ChiSquare - add stage support 2014-01-30 10:27:43 +00:00
p5-Statistics-Contingency Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Statistics-Descriptive - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-Descriptive-Discrete - Add LICENSE 2014-05-09 03:41:24 +00:00
p5-Statistics-Distributions - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-Forecast Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Statistics-Frequency - Stage support 2014-02-01 14:41:07 +00:00
p5-Statistics-LineFit Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Statistics-Lite Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
p5-Statistics-LTU - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-OLS - add stage support 2014-01-30 10:27:43 +00:00
p5-Statistics-R Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
p5-Statistics-Regression - add stage support 2014-01-30 09:42:48 +00:00
p5-Statistics-TTest Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Task-Math-Symbolic Support STAGEDIR. 2013-11-05 06:56:18 +00:00
p5-Text-AsciiTeX Support STAGEDIR. 2013-11-05 06:56:18 +00:00
pari
parmetis Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
parmgridgen - Update openmpi from 1.6.5 to 1.8 (new stable version) 2014-04-13 00:17:45 +00:00
PDL Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
pear-Math_BigInteger - update to 1.0.2 2014-02-12 11:29:39 +00:00
pear-Math_Combinatorics Stage support for non-IGNORED pear classes 2013-11-25 17:59:58 +00:00
pecl-big_int - Stage support 2014-02-05 13:45:39 +00:00
pecl-bitset - Stageify 2014-01-23 16:00:14 +00:00
pecl-stats - Stageify 2014-01-23 16:00:14 +00:00
pecl-trader The trader extension is a free open source stock library based on TA-Lib. 2014-02-11 15:31:02 +00:00
petsc Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
php5-bcmath Stagify. 2013-10-30 13:32:02 +00:00
php5-gmp Stagify. 2013-10-30 13:32:02 +00:00
php53-bcmath - convert php53 ports to STAGE 2013-11-01 23:49:56 +00:00
php53-gmp - convert php53 ports to STAGE 2013-11-01 23:49:56 +00:00
php55-bcmath Stagify. 2013-10-30 13:32:02 +00:00
php55-gmp Stagify. 2013-10-30 13:32:02 +00:00
physcalc Unbreak 2014-03-11 06:31:13 +00:00
plman Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
ploticus The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
ploticus-nox11
plplot Do not overwrite USES 2014-05-27 16:11:38 +00:00
plplot-ada Add new port math/plplot-ada: Ada bindings to plplot library 2014-02-16 22:01:00 +00:00
polymake Deprecate and set expiration date: Does not build with any supported 2014-05-22 14:03:46 +00:00
primegen - Unmute installation commands 2014-03-05 13:51:57 +00:00
prng
proofgeneral - Don't remove mtree directories 2014-05-09 21:13:09 +00:00
pspp Attempt to unbreak by using new LIB_DEPENDS syntax 2014-05-18 11:42:51 +00:00
pure-mpfr Remove trailing whitespaces from category math 2014-02-21 13:38:05 +00:00
pure-rational Remove trailing whitespaces from category math 2014-02-21 13:38:05 +00:00
py-apgl - Update to 0.8.0 2014-04-06 07:04:43 +00:00
py-basemap Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-basemap-data - Convert to autoplist 2014-02-15 10:05:05 +00:00
py-bitvector - Stage 2014-05-08 16:11:12 +00:00
py-bottleneck Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-fastcluster Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-ffc - Stage 2014-04-26 20:42:24 +00:00
py-fiat Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-fpconst math/py-fpconst: support staging and restrict python to 2.x 2013-12-28 10:53:33 +00:00
py-gato math/py-gato: support staging 2013-12-28 10:59:13 +00:00
py-gmpy Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
py-gnuplot Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-graphillion math/py-graphillion: Update to 0.94 2013-11-30 15:54:37 +00:00
py-gsl - Stage support 2014-05-26 11:40:07 +00:00
py-igraph The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
py-mathdom - Convert to autoplist 2014-02-15 10:31:16 +00:00
py-matplotlib The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
py-mpmath - Update to 0.18 2014-01-06 12:59:32 +00:00
py-munkres Support STAGE 2014-01-28 12:49:19 +00:00
py-networkx - Switch from easy_install to USE_PYDISTUTILS=yes 2014-03-28 19:41:53 +00:00
py-numarray math/py-numarray: allow staging and use auto python plist 2013-12-12 20:18:08 +00:00
py-numeric [Errno 11] Resource Temporarily Unavailable 2013-12-16 18:24:49 +00:00
py-numexpr Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-numpy Update to version 1.8.1. 2014-05-30 14:06:38 +00:00
py-nzmath Support stage 2014-01-19 18:34:41 +00:00
py-pandas Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-patsy Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-plastex math/py-plastex: support staging and use auto plist 2013-12-28 11:15:35 +00:00
py-probstat math/py-probstat: support staging and use auto plist 2013-12-28 11:14:20 +00:00
py-pybloom - Convert to autoplist 2014-02-15 10:34:41 +00:00
py-pymc Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-roman - Convert to autoplist 2014-02-15 10:35:14 +00:00
py-scientific - Update to 4.3.2 (from science/netcdf4) 2014-05-03 03:17:19 +00:00
py-statsmodels Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-svgmath - Stage support 2014-05-18 14:26:45 +00:00
py-symeig - Update to 1.5 2014-04-26 18:13:44 +00:00
py-sympy - Update to 0.7.5 2014-05-12 06:05:41 +00:00
py-ufl Python cleanup: 2014-01-13 21:00:02 +00:00
py-viper - Stage support 2014-05-26 11:39:32 +00:00
qalculate - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
qd Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
qhull - Implement staging. 2014-01-26 23:20:22 +00:00
qhull5 - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
qrupdate Stage support. 2014-05-31 11:27:03 +00:00
qtiplot Convert my ports to USES=tar 2014-05-12 10:53:41 +00:00
qtiplot-doc Convert my ports to USES=tar 2014-05-12 10:53:41 +00:00
qtoctave Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
qwtplot3d-qt4 - Remove now needless qmake_build from USE_QT4 2013-11-21 15:41:06 +00:00
R Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
R-cran-bdsmatrix Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-car Update math/R-cran-car to 2.0-20. 2014-05-03 09:41:28 +00:00
R-cran-ChangeAnomalyDetection Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-coda Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-deldir Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-dlmodeler Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-forecast - Update to 5.4 2014-05-10 01:59:44 +00:00
R-cran-Formula Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-fracdiff Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-gpclib Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-gss Update math/R-cran-gss to 2.1-0. 2014-05-30 17:29:39 +00:00
R-cran-gtable Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-igraph - Update to 0.7.1 2014-04-23 16:07:13 +00:00
R-cran-inline - Update to 0.3.13 2014-04-06 14:27:07 +00:00
R-cran-KFAS - Update to 1.0.3 2014-03-29 08:00:53 +00:00
R-cran-labeling Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-LearnBayes Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-MCMCpack Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-memisc Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-mvtnorm Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-nnls Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-outliers Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-psych Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-quadprog Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-RcppArmadillo - Update to 0.4.300.0 2014-05-07 15:09:06 +00:00
R-cran-RHmm Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-RSvgDevice Update math/RSvgDevice to 0.6.4.4. 2014-04-27 07:44:22 +00:00
R-cran-sandwich Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-sm - Update to 2.2.5.4 2014-04-06 14:26:15 +00:00
R-cran-sp - Update to 1.0.14 2014-04-06 14:25:26 +00:00
R-cran-spdep Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-sspir Update distinfo since the DESCRIPTION file was updated when the module 2014-05-21 12:44:28 +00:00
R-cran-stabledist Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-SuppDists Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
R-cran-xts Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
R-cran-Zelig - Update to 4.2.1 2014-04-06 14:28:28 +00:00
R-cran-zoo Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
randlib
rapid - Support staging 2014-02-21 10:35:44 +00:00
reduce Catch a couple of missing convertsion to :tu/:tl 2014-05-05 11:15:53 +00:00
reed-solomon - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
rkward-kde4 Set USES+=fortran. This sets LDFLAGS so rkward links with libgcc_s 2014-03-17 12:56:04 +00:00
rngstreams
rocs KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
rpcalc
rpy - Stage support [1] 2014-05-31 05:20:15 +00:00
rpy2 - Stage support [1] 2014-05-31 05:24:11 +00:00
ruby-algebra - Add stage support 2014-02-15 14:35:37 +00:00
ruby-fftw3 - Avoid calling make while building 2014-03-28 20:41:23 +00:00
ruby-gnuplot Support stae 2014-04-07 14:57:04 +00:00
ruby-gsl - Stage support 2014-02-25 09:07:41 +00:00
ruby-narray Fix packaging as a user 2014-04-07 14:55:19 +00:00
ruby-narray_miss Support stage 2014-04-07 15:00:24 +00:00
ruby-numru_misc Support stage 2014-04-07 15:02:39 +00:00
ruby-numru_units Support stage 2014-04-07 15:04:14 +00:00
rubygem-narray - Avoid calling make while building 2014-03-28 20:41:23 +00:00
rubygem-narray_miss This is an additional class of ruby with conduct processing of missing value 2014-03-25 20:34:09 +00:00
saga Fix build after r353029 2014-05-06 07:03:22 +00:00
sage - Replace python-2.7.5 with version 2.7.6. Thus the port should now build 2014-05-31 05:05:23 +00:00
sc - Finish stage support 2014-04-06 20:55:15 +00:00
scalapack Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
scilab math/scilab: 2014-04-25 08:46:05 +00:00
scilab-toolbox-sivp math/scilab-toolbox-sivp: 2014-05-01 14:31:00 +00:00
scilab-toolbox-swt Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
sdpa Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
sdpa-gmp
sdpara Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
sedumi Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
sfft Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
simd-viterbi - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
slatec Maintainer can no longer maintain these ports 2014-06-02 17:55:42 +00:00
slgrace Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
snns Remove trailing whitespaces from category math 2014-02-21 13:38:05 +00:00
solitaire - Add stage support 2014-02-15 14:44:36 +00:00
spar - Stage support 2014-02-02 15:20:05 +00:00
spblas Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
speedcrunch math/speedcrunch: 2014-03-31 10:57:12 +00:00
spooles math/spooles*: specify post-extraction with ${TAR} 2014-05-29 22:02:52 +00:00
spooles-mpich
stp Fix math/stp build for FreeBSD 9.x 2014-03-06 16:05:32 +00:00
suitesparse - Stagify 2014-05-21 01:16:53 +00:00
superlu Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
superlu_mt Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
surf - Convert LIB_DEPENDS to new syntax 2014-02-15 15:00:33 +00:00
tablix - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
taucs Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
testu01 Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
tetgen Support staging 2014-02-21 11:04:46 +00:00
timbl The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
tomsfastmath - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
topaz - Add stage support 2014-02-15 15:23:58 +00:00
triangle Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
trlan Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
truthtable Fix properties on pkg-plist 2014-01-21 23:40:21 +00:00
tvmet - Convert USE_BZIP2 to USES 2014-05-30 18:42:05 +00:00
ufc - Stage support 2014-02-16 16:16:16 +00:00
ump - Fix package name collision 2013-11-23 15:18:03 +00:00
units - Update to 2.11 2014-05-12 12:35:07 +00:00
unixstat Multiple ports: reset maintainers 2014-05-26 02:33:38 +00:00
unuran - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
vtk5 - Unbreak by temporarily removing support for PYTHON wrapping 2014-04-15 13:21:22 +00:00
vtk5-data - STAGE-clean 2014-02-12 15:54:46 +00:00
vtk6 Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
wcalc - Use new LIB_DEPENDS syntax 2014-06-03 13:00:07 +00:00
wfmath remove leftovers from the gcc -> clang transition I forgot to delete. 2014-03-24 18:10:01 +00:00
why3 Add two new math ports: why3 and why3-gpl 2014-06-04 19:22:33 +00:00
why3-gpl Add two new math ports: why3 and why3-gpl 2014-06-04 19:22:33 +00:00
wingz3
wxMaxima Catch a couple of missing convertsion to :tu/:tl 2014-05-05 11:15:53 +00:00
x12arima Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
xblas
xgobi The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
xgraph
xlapack Stage support 2014-04-05 16:30:29 +00:00
xldlas - Chase x11-toolkits/xforms shlib bump 2014-01-08 09:53:50 +00:00
xplot
xppaut - Remove extraneous files (created by gcc but not by clang). 2014-05-25 02:30:15 +00:00
xspread The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
yacas - Update to 1.3.4 2014-02-03 15:04:21 +00:00
Makefile Add two new math ports: why3 and why3-gpl 2014-06-04 19:22:33 +00:00