mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-22 00:35:15 +00:00
Code Issues Releases Activity
5cd9988e83
freebsd-ports/math
History
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
abacus Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
abakus
abs The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
add
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
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
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
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
calc
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
cgal - Update to 4.3 2014-03-02 16:20:46 +00:00
chaco
chryzodus
clarence Support staging 2014-03-20 15:14:08 +00:00
clasp
clipper Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
cln
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
convertall
coq
crlibm
cvc3
dcdflib
diehard
dieharder Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
djbfft
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
edenmath
eigen2
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
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
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
fpc-gmp
fpc-numlib
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
geg
geogebra-i18n
geonext Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
gexpr
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
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
grpn
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
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
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
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
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
lrng
ltl - Convert gmake,bzip2 to USES 2014-05-26 12:28:33 +00:00
ltl2ba
lybniz
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
matrix Convert m* to USES=zip 2014-03-10 16:25:33 +00:00
maxima
mbasecalc
metis
metis4
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
mpc
mpexpr
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
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
nauty - Fix build 2014-05-17 09:51:11 +00:00
ndiff
newmat
ngraph
ntl
numdiff
nyh-hoc
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
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
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
p5-Algorithm-CurveFit
p5-Algorithm-KMeans
p5-Algorithm-Munkres - Pass maintainership to perl@ 2014-05-22 15:02:27 +00:00
p5-bignum
p5-Bit-ShiftReg
p5-Bit-Vector
p5-Bit-Vector-Minimal
p5-CAD-Calc - Add LICENSE 2014-05-09 03:42:56 +00:00
p5-Chart-Math-Axis
p5-Data-Float
p5-Date-Handler
p5-Geo-Coordinates-UTM
p5-Geo-Distance
p5-Geo-Distance-XS
p5-GIS-Distance
p5-GIS-Distance-Fast
p5-GIS-Distance-Lite
p5-Graph
p5-Math-Algebra-Symbols - Add LICENSE 2014-05-09 03:43:05 +00:00
p5-Math-Base36
p5-Math-Base85
p5-Math-BaseCalc
p5-Math-BaseCnv - Pass maintainership to perl@ 2014-05-22 15:02:27 +00:00
p5-Math-Bezier
p5-Math-Bezier-Convert
p5-Math-BigInt
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
p5-Math-Calc-Units
p5-Math-CDF
p5-Math-Cephes
p5-Math-Combinatorics - Add LICENSE 2014-05-09 03:42:43 +00:00
p5-Math-Complex
p5-Math-ConvexHull
p5-Math-Currency
p5-Math-Derivative - Add LICENSE 2014-05-09 03:42:39 +00:00
p5-Math-Evol
p5-Math-Expr
p5-Math-FFT - Add LICENSE 2014-05-09 03:42:30 +00:00
p5-Math-FixedPrecision
p5-Math-Fleximal
p5-Math-Geometry
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
p5-Math-Geometry-Planar-Offset - Add LICENSE 2014-05-09 03:42:34 +00:00
p5-Math-Geometry-Voronoi
p5-Math-GMP
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
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
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
p5-Math-MPC
p5-Math-MPFR
p5-Math-NumberCruncher
p5-Math-Pari - Update to 2.01080607 2014-05-21 07:57:41 +00:00
p5-Math-Polygon
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
p5-Math-Random-ISAAC
p5-Math-Random-ISAAC-XS
p5-Math-Random-MT
p5-Math-Random-MT-Auto - Remove outdated PERL_LEVEL check 2014-03-06 18:51:17 +00:00
p5-Math-Random-OO
p5-Math-Random-Secure
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
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
p5-Math-SimpleVariable
p5-Math-Spline - Add LICENSE 2014-05-09 03:41:46 +00:00
p5-Math-String
p5-Math-Symbolic
p5-Math-Symbolic-Custom-CCompiler
p5-Math-Symbolic-Custom-Contains
p5-Math-Symbolic-Custom-ErrorPropagation
p5-Math-Symbolic-Custom-LaTeXDumper
p5-Math-Symbolic-Custom-Pattern
p5-Math-Symbolic-Custom-Simplification - Add LICENSE 2014-05-09 03:41:32 +00:00
p5-Math-Symbolic-Custom-Transformation
p5-Math-SymbolicX-BigNum - Add LICENSE 2014-05-09 03:41:54 +00:00
p5-Math-SymbolicX-Complex
p5-Math-SymbolicX-Error
p5-Math-SymbolicX-Inline
p5-Math-SymbolicX-NoSimplification - Add LICENSE 2014-05-09 03:41:28 +00:00
p5-Math-SymbolicX-ParserExtensionFactory
p5-Math-SymbolicX-Statistics-Distributions - Add LICENSE 2014-05-09 03:41:50 +00:00
p5-Math-TrulyRandom
p5-Math-Units
p5-Math-Vec
p5-Math-VecStat
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
p5-Number-Fraction - Update to 2.00 2014-05-09 20:01:57 +00:00
p5-Number-Uncertainty
p5-Number-WithError
p5-Number-WithError-LaTeX - Add LICENSE 2014-05-09 03:41:36 +00:00
p5-Parse-Range
p5-Roman
p5-Set-IntSpan
p5-Set-IntSpan-Fast
p5-Set-IntSpan-Fast-XS
p5-Set-Partition - Add LICENSE 2014-05-09 03:41:41 +00:00
p5-Set-Window
p5-Statistics-Basic
p5-Statistics-Benford
p5-Statistics-ChiSquare
p5-Statistics-Contingency
p5-Statistics-Descriptive
p5-Statistics-Descriptive-Discrete - Add LICENSE 2014-05-09 03:41:24 +00:00
p5-Statistics-Distributions
p5-Statistics-Forecast
p5-Statistics-Frequency
p5-Statistics-LineFit
p5-Statistics-Lite Convert to USES=dos2unix 2014-05-26 08:44:34 +00:00
p5-Statistics-LTU
p5-Statistics-OLS
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
p5-Statistics-TTest
p5-Task-Math-Symbolic
p5-Text-AsciiTeX
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
pear-Math_Combinatorics
pecl-big_int
pecl-bitset
pecl-stats
pecl-trader
petsc Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
php5-bcmath
php5-gmp
php53-bcmath
php53-gmp
php55-bcmath
php55-gmp
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
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
pure-rational
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
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
py-gato
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
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
py-matplotlib The FreeBSD x11@ and graphics team proudly presents 2014-04-16 18:28:47 +00:00
py-mpmath
py-munkres
py-networkx - Switch from easy_install to USE_PYDISTUTILS=yes 2014-03-28 19:41:53 +00:00
py-numarray
py-numeric
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
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
py-probstat
py-pybloom
py-pymc Update the default version of GCC used in the Ports Collection from 2014-03-10 20:55:20 +00:00
py-roman
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
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
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
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
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
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
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
solitaire
spar
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
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
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
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
tvmet - Convert USE_BZIP2 to USES 2014-05-30 18:42:05 +00:00
ufc
ump
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
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
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
Makefile Add two new math ports: why3 and why3-gpl 2014-06-04 19:22:33 +00:00