.. |
aamath
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
abacus
|
|
|
abakus
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
abs
|
|
|
acalc
|
|
|
add
|
|
|
adept
|
math/adept: Update to 2.0.5
|
2018-02-08 21:28:18 +00:00 |
algae
|
For ports that are marked BROKEN on armv6, and also fail to build on
|
2017-11-30 06:13:34 +00:00 |
alglib
|
math/alglib: Update to 3.13.0
|
2018-01-11 18:19:46 +00:00 |
algotutor
|
Return kevlo's ports to the pool, he handed in his commit bit.
|
2018-01-12 11:21:07 +00:00 |
alt-ergo
|
|
|
amath
|
math/amath: Update to 1.8.3
|
2017-08-18 03:40:30 +00:00 |
ambit
|
Fix depends, clang38 is provided by devel/llvm38
|
2017-11-27 15:56:06 +00:00 |
analitza
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
ann
|
|
|
apc
|
|
|
aribas
|
|
|
armadillo
|
- Update to 8.300.4
|
2018-02-13 21:09:37 +00:00 |
arpack
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
arpack-ng
|
math/arpack-ng: Update to 3.5.0
|
2018-02-13 04:37:41 +00:00 |
arpack-ng-mpich
|
|
|
arpack++
|
|
|
aspcud
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
asymptote
|
Bump PORTREVISION due upgrade of devel/boehm-gc to 7.6.2
|
2018-01-08 15:20:57 +00:00 |
atlas
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
biggles
|
|
|
blacs
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
blas
|
|
|
blis
|
math/blis: update to the first snapshot working on FreeBSD to support runtime kernel selection. For amd64, this will now select, if available, an assembly optimized kernel for the CPU architecture blis is running on. The other architectures continue to only use what is now called the generic kernel but in theory arm and power7 assembly optimizations are available.
|
2017-12-12 02:49:56 +00:00 |
blitz++
|
|
|
blocksolve95
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
bsdnt
|
Fix WWW
|
2017-06-26 19:37:17 +00:00 |
cadabra2
|
devel/boost-python-libs got forgotten in the python flavorization, fix
|
2018-02-15 12:34:49 +00:00 |
calc
|
Update calc to version 2.12.6.5 (bugfix release)
|
2018-02-06 10:55:23 +00:00 |
calcoo
|
|
|
calctool
|
|
|
cantor
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
cblas
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
ccmath
|
Begin deorbit burn of ia64. We have not attempted to build packages for
|
2017-06-25 00:29:09 +00:00 |
ceres-solver
|
New USES=eigen
|
2018-01-02 16:49:24 +00:00 |
cgal
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
chaco
|
|
|
chryzodus
|
|
|
clarence
|
Fix up Makefiles for ports that used to fetch from www.sourcefiles.org.
|
2018-01-02 01:51:11 +00:00 |
clasp
|
|
|
clblas
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
clblast
|
math/clblast: Update to 1.1.0 release.
|
2017-10-03 02:23:22 +00:00 |
clfft
|
math/clfft: Set USE_CXXSTD to gnu98 after the recent LLVM6 import. While there, pet portlint and change to my FreeBSD.org address.
|
2018-01-15 20:45:16 +00:00 |
clipper
|
|
|
cln
|
NO_ASM is also needed on armv7.
|
2017-11-30 08:22:47 +00:00 |
cloog
|
|
|
clp
|
- Update WWW
|
2017-09-21 09:01:55 +00:00 |
clrng
|
|
|
cminpack
|
|
|
cmlib
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
coinmp
|
math/coinmp: Fix description for FORTRAN option.
|
2018-02-08 14:41:23 +00:00 |
concorde
|
|
|
convertall
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
coq
|
Flavorize and modernize Emacs ports
|
2018-02-01 18:03:09 +00:00 |
crlibm
|
|
|
cryptominisat
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
cvc3
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
diehard
|
|
|
dieharder
|
Update math/gsl to 2.4
|
2017-07-03 20:38:11 +00:00 |
djbfft
|
|
|
drgeo
|
- Add LICENSE
|
2017-11-30 17:06:14 +00:00 |
dynare
|
math/dynare: Update to 4.5.4
|
2018-02-10 18:01:20 +00:00 |
e
|
|
|
edenmath
|
Fix configure options for gnustep-make
|
2017-12-03 12:23:53 +00:00 |
eigen2
|
|
|
eigen3
|
Add LICENSE_FILE
|
2018-02-04 10:14:31 +00:00 |
eispack
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
emc2
|
Do not abuse INSTALL_MAN when installing documentation, examples, and
|
2018-01-11 14:18:01 +00:00 |
ent
|
|
|
entropy
|
|
|
eprover
|
New port: math/eprover : Theorem prover for full first-order logic with equality
|
2017-11-19 21:59:32 +00:00 |
ess
|
math/ess: Fix build on 10
|
2018-02-04 05:13:43 +00:00 |
eukleides
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
eval
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
facile
|
|
|
fann
|
- Add LICENSE
|
2017-10-30 01:43:55 +00:00 |
fflas-ffpack
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
fftw
|
Fix whitespace issues (mixed tab/spaces, alignment) in a few ports.
|
2017-10-31 14:51:53 +00:00 |
fftw3
|
Update to 3.3.7
|
2018-01-27 10:08:40 +00:00 |
fftw3-float
|
|
|
fftw3-long
|
|
|
fftw3-quad
|
|
|
fftw-float
|
|
|
fityk
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
flann
|
New port: math/flann: Library for fast nearest neighbor searches in high dimensional spaces
|
2017-12-30 19:45:33 +00:00 |
form
|
- Fix gmp optimization
|
2017-08-04 15:22:12 +00:00 |
fpc-fftw
|
- Pass maintainership to me. marino@ is not part of FreeBSD committers
|
2017-08-03 23:40:28 +00:00 |
fpc-gmp
|
- Pass maintainership to me. marino@ is not part of FreeBSD committers
|
2017-08-03 23:40:28 +00:00 |
fpc-numlib
|
- Pass maintainership to me. marino@ is not part of FreeBSD committers
|
2017-08-03 23:40:28 +00:00 |
freemat
|
freemat fails to build with python3
|
2018-02-14 23:24:13 +00:00 |
fxt
|
Some typo fixes and whitespace cleanup for pkg-descr files.
|
2017-09-10 18:51:46 +00:00 |
galculator
|
|
|
gambit
|
For ports that are marked BROKEN on armv6, and also fail to build on
|
2017-11-30 06:13:34 +00:00 |
gap
|
Update GAP to 4.8.10
|
2018-02-12 11:42:15 +00:00 |
gdcalc
|
|
|
geg
|
|
|
geogebra
|
Update to upstream version 5.0.414.0
|
2018-01-21 17:27:17 +00:00 |
geonext
|
|
|
gexpr
|
|
|
ggobi
|
|
|
giacxcas
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
GiNaC
|
- Update 1.7.2.
|
2017-06-20 03:09:02 +00:00 |
givaro
|
|
|
gkmap
|
|
|
glgraph
|
- Update WWW
|
2017-08-29 09:01:38 +00:00 |
glm
|
Bring back mistakenly removed PORTEPOCH
|
2017-12-18 12:34:51 +00:00 |
glpk
|
math/glpk: update 4.63 -> 4.64, submitter becomes maintainer
|
2017-12-04 18:11:52 +00:00 |
glucose
|
New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
|
2018-02-03 20:59:14 +00:00 |
gmm++
|
|
|
gmp
|
- Switch to new test framework
|
2018-01-10 18:36:49 +00:00 |
gmp-ecm
|
- Fix LICENSE
|
2017-10-24 09:04:27 +00:00 |
gnome-calculator
|
Update gnome-calculator to 3.24.0.
|
2017-06-05 13:42:12 +00:00 |
gnubc
|
|
|
gnumeric
|
|
|
gnuplot
|
Fix packing list substitutions for the lite port.
|
2017-12-13 07:14:56 +00:00 |
gnuplot-lite
|
Add a -lite version for gnuplot which has minimal dependencies.
|
2017-12-13 07:23:10 +00:00 |
gnuplot-tex-extras
|
|
|
goblin
|
|
|
gotoblas
|
For ports that are marked BROKEN on armv6, and also fail to build on
|
2017-11-30 06:13:34 +00:00 |
grace
|
Do not abuse INSTALL_MAN when installing documentation, examples, and
|
2018-01-11 14:18:01 +00:00 |
gracetmpl
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
graphthing
|
|
|
gretl
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
gri
|
Update to 4.5.0
|
2017-10-21 20:18:16 +00:00 |
gringo
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
grpn
|
|
|
gsl
|
Update math/gsl to 2.4
|
2017-07-03 20:38:11 +00:00 |
hexcalc
|
|
|
hfst
|
Mark BROKEN: fails to build
|
2017-10-08 19:02:22 +00:00 |
hs-adjunctions
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-Agda
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-Agda-stdlib
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-categories
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-comonad
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-contravariant
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-data-lens
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-data-lens-template
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-distributive
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-erf
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-fixed
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-half
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-ieee754
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-integer-logarithms
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-kan-extensions
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-math-functions
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-mwc-random
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-NumInstances
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-pointed
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-probability
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-semigroupoids
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-semigroups
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-statistics
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
hs-vector-space
|
Switch C compiler used to compile GHC to base Clang.
|
2018-02-10 08:03:22 +00:00 |
igraph
|
|
|
ipopt
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
ised
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
jacal
|
|
|
jags
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
jakarta-commons-math
|
|
|
jakarta-commons-math3
|
For ports that are marked BROKEN on armv6, and also fail to build on
|
2017-11-30 06:13:34 +00:00 |
jama
|
|
|
jeuclid
|
|
|
jlatexmath
|
|
|
jsmath-fonts
|
|
|
jtransforms
|
Update license of ports using MPL (without version)
|
2017-11-04 11:43:35 +00:00 |
jts
|
|
|
kalgebra
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
kbruch
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
kcalc
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
kig
|
devel/boost-python-libs got forgotten in the python flavorization, fix
|
2018-02-15 12:34:49 +00:00 |
kktdirect
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
kmplot
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
labplot
|
Update to 4.5.0
|
2017-10-21 20:18:16 +00:00 |
lambda
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
lapack
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
lapack95
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
lapack++
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
lapacke
|
|
|
laspack
|
|
|
ldouble
|
|
|
levmar
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
libflame
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
liblbfgs
|
Remove unneeded USE_AUTOTOOLS.
|
2017-12-25 19:58:10 +00:00 |
libmesh
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
libmissing
|
|
|
libocas
|
|
|
liborigin
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
libqalculate
|
Update math/libqalculate to 1.0.0a
|
2017-08-03 07:13:39 +00:00 |
libranlip
|
Do not abuse INSTALL_MAN when installing documentation, examples, and
|
2018-01-11 14:18:01 +00:00 |
libRmath
|
math/libRmath: Update to version 3.4.3 and add armv[67] to ONLY_FOR_ARCHS
|
2017-12-03 03:46:11 +00:00 |
librsb
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
libtommath
|
Fix whitespace issues (mixed tab/spaces, alignment) in a few ports.
|
2017-11-02 21:41:47 +00:00 |
libtsnnls
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
libxls
|
|
|
libxlsxwriter
|
Update to 0.7.5
|
2017-09-25 14:57:32 +00:00 |
linpack
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
lll_spect
|
|
|
lp_solve
|
For ports that are explicitly enabled on armv6, also enable them
|
2017-10-10 21:31:30 +00:00 |
lrng
|
|
|
ltl
|
|
|
ltl2ba
|
|
|
lybniz
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
mate-calc
|
Remove PORTSDIR from BUILD_DEPENDS
|
2017-07-04 15:28:50 +00:00 |
math77
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
mathmod
|
Upgrade to 6.1.
|
2017-11-01 18:44:20 +00:00 |
mathomatic
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
matio
|
|
|
matlab-installer
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
maxima
|
math/maxima: remove expired lang/gcl variant
|
2018-01-28 01:36:20 +00:00 |
mbasecalc
|
|
|
metis
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
metis4
|
|
|
metis-edf
|
Upgrade - endly! - to Code_Aster 13.4.0-3.
|
2017-11-14 18:29:22 +00:00 |
mingw32-libgmp
|
Set MAKEINFO to the full path of makeinfo when USES=makeinfo is set.
|
2017-07-28 21:45:20 +00:00 |
minisat
|
- Fix build with clang 6
|
2018-01-25 09:04:31 +00:00 |
miracl
|
Defining both LICENSE_FILE_COMMERCIAL and LICENSE_TEXT_COMMERCIAL is not
|
2017-10-08 06:39:40 +00:00 |
moo
|
Regular USE_GITHUB cleanup.
|
2017-07-27 13:57:30 +00:00 |
mosesdecoder
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
mpc
|
MASTER_SITES=GNU is sufficient, no need for MASTER_SITES=GNU/${PORTNAME}.
|
2018-01-28 13:01:03 +00:00 |
mpexpr
|
|
|
mpfr
|
Update MASTER_SITES usage
|
2017-09-21 18:18:05 +00:00 |
mpir
|
- Update to 3.0.0
|
2017-06-16 08:46:15 +00:00 |
mprime
|
math/mprime: Fix some issues from the previous commit
|
2017-11-22 17:40:24 +00:00 |
msieve
|
Retire WITHOUT_DEBUG flag.
|
2017-10-15 14:05:04 +00:00 |
mtl
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
mtrxmath
|
|
|
mumps
|
Upgrade - endly! - to Code_Aster 13.4.0-3.
|
2017-11-14 18:29:22 +00:00 |
mumps-edf
|
Fix PKGBASE collision with math/mumps
|
2017-11-14 21:30:47 +00:00 |
mumps-mpich
|
|
|
muparser
|
Remove a few text occurrences of NOPORTDOCS.
|
2018-01-09 07:55:05 +00:00 |
naturalmath
|
|
|
nauty
|
|
|
ndiff
|
Change MAINTAINER email to my new FreeBSD email
|
2017-08-29 13:05:21 +00:00 |
newmat
|
- Take maintainership.
|
2017-06-19 01:09:20 +00:00 |
nfft
|
Update devel/doxygen to 1.8.14
|
2018-01-19 21:28:34 +00:00 |
ngraph
|
|
|
nlopt
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
ntl
|
|
|
numdiff
|
|
|
nyh-hoc
|
|
|
ocaml-ocamlgraph
|
- Switch to options helpers
|
2017-07-06 09:00:21 +00:00 |
ocaml-zarith
|
|
|
ocamlgsl
|
Update math/gsl to 2.4
|
2017-07-03 20:38:11 +00:00 |
octave
|
math/octave: Set correct USE_LDCONFIG=
|
2017-12-01 17:43:21 +00:00 |
octave-forge
|
- Add optional run depends math/octave-forge-bsltl.
|
2017-06-22 21:57:43 +00:00 |
octave-forge-actuarial
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-audio
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-base
|
Remove Perl core modules
|
2017-06-30 13:44:28 +00:00 |
octave-forge-bim
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-bioinfo
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-bsltl
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-cgi
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-civil-engineering
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-communications
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-control
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-data-smoothing
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-database
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-dataframe
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-divand
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-doctest
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-econometrics
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-engine
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-fenv
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-financial
|
- Update to 0.5.1.
|
2018-01-13 20:14:29 +00:00 |
octave-forge-fits
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-fl-core
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-fpl
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-fuzzy-logic-toolkit
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-ga
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-general
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-generate_html
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-geometry
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-gnuplot
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-gsl
|
- Update to 2.1.0.
|
2017-10-25 02:21:58 +00:00 |
octave-forge-ident
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-image
|
- Update to 2.6.2.
|
2017-11-11 19:16:06 +00:00 |
octave-forge-informationtheory
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-integration
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-interval
|
- Update to 3.1.0.
|
2017-12-22 04:55:14 +00:00 |
octave-forge-io
|
- Update to 2.4.8.
|
2017-10-25 01:06:56 +00:00 |
octave-forge-irsa
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-level-set
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-linear-algebra
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-lssa
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-ltfat
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-mapping
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-mechanics
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-miscellaneous
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-missing-functions
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-msh
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-multicore
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-mvn
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-nan
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-ncarray
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-netcdf
|
Update to 4.5.0
|
2017-10-21 20:18:16 +00:00 |
octave-forge-nlwing2
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-nnet
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-nurbs
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-ocs
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-oct2mat
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-octcdf
|
Update to 4.5.0
|
2017-10-21 20:18:16 +00:00 |
octave-forge-octclip
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-octproj
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-odebvp
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-odepkg
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-optics
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-optim
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-optiminterp
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-outliers
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-parallel
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-pdb
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-plot
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-pt_br
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-quaternion
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-queueing
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-secs1d
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-secs2d
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-secs3d
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-signal
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-simp
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-sockets
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-sparsersb
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-specfun
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-special-matrix
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-splines
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-statistics
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-stk
|
- Update to 2.5.0.
|
2017-10-25 02:23:21 +00:00 |
octave-forge-strings
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-struct
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-symband
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-symbolic
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-tcl-octave
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-tisean
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-tsa
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-video
|
multimedia/ffmpeg: update to 3.4
|
2017-10-21 06:50:49 +00:00 |
octave-forge-zenity
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
octave-forge-zeromq
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
ogdf
|
ogdf fails to build with python3
|
2017-12-09 10:09:04 +00:00 |
oleo
|
|
|
openblas
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
openfst
|
Update to version 1.6.3.
|
2017-09-25 10:20:53 +00:00 |
openlibm
|
For ports that are marked BROKEN on armv6, and also fail to build on
|
2017-11-30 06:13:34 +00:00 |
opensolaris-libm
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
orpie
|
Update math/gsl to 2.4
|
2017-07-03 20:38:11 +00:00 |
p5-AI-DecisionTree
|
|
|
p5-AI-Genetic
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-AI-NeuralNet-BackProp
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-AI-Perceptron
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Algorithm-Combinatorics
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Algorithm-CurveFit
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Algorithm-KMeans
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Algorithm-Munkres
|
|
|
p5-bignum
|
Update to 0.49
|
2018-02-05 17:50:03 +00:00 |
p5-Bit-ShiftReg
|
|
|
p5-Bit-Vector
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Bit-Vector-Minimal
|
|
|
p5-CAD-Calc
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Chart-Math-Axis
|
|
|
p5-Data-Float
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Date-Handler
|
|
|
p5-Geo-Coordinates-UTM
|
|
|
p5-Geo-Distance
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Geo-Distance-XS
|
|
|
p5-GIS-Distance
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-GIS-Distance-Fast
|
|
|
p5-GIS-Distance-Lite
|
|
|
p5-Graph
|
|
|
p5-Math-Algebra-Symbols
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Base36
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Base85
|
|
|
p5-Math-BaseCalc
|
- Update to 0.19
|
2017-09-30 19:01:43 +00:00 |
p5-Math-BaseCnv
|
|
|
p5-Math-Bezier
|
|
|
p5-Math-Bezier-Convert
|
|
|
p5-Math-BigInt
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-BigInt-FastCalc
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-BigInt-GMP
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-BigInt-Lite
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-BigInt-Pari
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-BigRat
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Calc-Units
|
|
|
p5-Math-CDF
|
|
|
p5-Math-Cephes
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Combinatorics
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Complex
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-ConvexHull
|
|
|
p5-Math-Currency
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Derivative
|
Rmath/p5-Math-Derivative: Update version 0.04=>1.01
|
2017-09-19 19:21:14 +00:00 |
p5-Math-Evol
|
Update to 1.13
|
2017-06-14 16:10:11 +00:00 |
p5-Math-Expr
|
|
|
p5-Math-FFT
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-FixedPrecision
|
|
|
p5-Math-Fleximal
|
|
|
p5-Math-Geometry
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Geometry-Planar
|
|
|
p5-Math-Geometry-Planar-GPC
|
|
|
p5-Math-Geometry-Planar-GPC-PolygonXS
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Geometry-Planar-Offset
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Geometry-Voronoi
|
|
|
p5-Math-GMP
|
Update to 2.16
|
2017-12-19 18:20:37 +00:00 |
p5-Math-GMPf
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-GMPq
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-GMPz
|
Update to 0.48
|
2017-12-21 17:41:01 +00:00 |
p5-Math-Gradient
|
|
|
p5-Math-GSL
|
Remove BROKEN_sparc64 statement which was originally added in r224062 by
|
2017-12-24 15:41:58 +00:00 |
p5-Math-Int64
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Int128
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
p5-Math-Interpolate
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Intersection-StraightLine
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Logic
|
|
|
p5-Math-Matrix
|
|
|
p5-Math-MatrixReal
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-MPC
|
Update to 1.08
|
2018-01-15 17:16:40 +00:00 |
p5-Math-MPFR
|
Update to 4.0
|
2018-01-06 04:33:25 +00:00 |
p5-Math-NumberCruncher
|
|
|
p5-Math-Pari
|
math/p5-Math-Pari: set LLD_UNSAFE to avoid linking with lld
|
2017-12-27 15:23:24 +00:00 |
p5-Math-Polygon
|
- Update to 1.10
|
2018-01-04 00:46:11 +00:00 |
p5-Math-Polygon-Tree
|
|
|
p5-Math-Polynomial-Solve
|
Update to 2.81
|
2017-10-24 17:41:31 +00:00 |
p5-Math-Prime-XS
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Random
|
|
|
p5-Math-Random-ISAAC
|
|
|
p5-Math-Random-ISAAC-XS
|
|
|
p5-Math-Random-MT
|
|
|
p5-Math-Random-MT-Auto
|
|
|
p5-Math-Random-OO
|
|
|
p5-Math-Random-Secure
|
|
|
p5-Math-RandomOrg
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Round
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Round-Var
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-RPN
|
Assign to perl@
|
2018-01-12 13:20:45 +00:00 |
p5-Math-Sequence
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Series
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-SigFigs
|
|
|
p5-Math-SimpleVariable
|
|
|
p5-Math-Spline
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-String
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Symbolic
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Symbolic-Custom-CCompiler
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
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
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Symbolic-Custom-Transformation
|
|
|
p5-Math-SymbolicX-BigNum
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-SymbolicX-Complex
|
|
|
p5-Math-SymbolicX-Error
|
|
|
p5-Math-SymbolicX-Inline
|
|
|
p5-Math-SymbolicX-NoSimplification
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-SymbolicX-ParserExtensionFactory
|
|
|
p5-Math-SymbolicX-Statistics-Distributions
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-TrulyRandom
|
|
|
p5-Math-Units
|
|
|
p5-Math-Utils
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-Vec
|
|
|
p5-Math-VecStat
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Math-VectorReal
|
|
|
p5-NetCDF
|
Update to 4.5.0
|
2017-10-21 20:18:16 +00:00 |
p5-Number-Compare
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Number-Fraction
|
|
|
p5-Number-Misc
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Number-Uncertainty
|
|
|
p5-Number-WithError
|
|
|
p5-Number-WithError-LaTeX
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Parse-Range
|
|
|
p5-Roman
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Set-IntSpan
|
|
|
p5-Set-IntSpan-Fast
|
|
|
p5-Set-IntSpan-Fast-XS
|
|
|
p5-Set-Partition
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Set-Window
|
|
|
p5-Statistics-Basic
|
|
|
p5-Statistics-Benford
|
|
|
p5-Statistics-ChiSquare
|
|
|
p5-Statistics-Contingency
|
|
|
p5-Statistics-Descriptive
|
|
|
p5-Statistics-Descriptive-Discrete
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Statistics-Distributions
|
|
|
p5-Statistics-Forecast
|
|
|
p5-Statistics-Frequency
|
Don't use MASTER_SITE_SUBDIR when it is not needed.
|
2017-11-24 17:53:11 +00:00 |
p5-Statistics-LineFit
|
|
|
p5-Statistics-Lite
|
|
|
p5-Statistics-LTU
|
|
|
p5-Statistics-OLS
|
|
|
p5-Statistics-R
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
p5-Statistics-Regression
|
|
|
p5-Statistics-TTest
|
|
|
p5-Task-Math-Symbolic
|
|
|
p5-Text-AsciiTeX
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
pantheon-calculator
|
|
|
pari
|
math/pari: Update to 2.9.4
|
2018-01-11 07:53:22 +00:00 |
parmetis
|
- Update to 4.0.3
|
2017-06-29 09:52:21 +00:00 |
parmgridgen
|
- Pet portlint
|
2017-11-16 09:00:11 +00:00 |
pdal
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
PDL
|
Fix license information for portgs that use "the same license as Perl".
|
2017-09-15 08:58:46 +00:00 |
pear-Math_BigInteger
|
|
|
pear-Math_Combinatorics
|
Update distinfo and unbreak this port
|
2017-06-11 07:40:44 +00:00 |
pecl-big_int
|
Add missing IGNORE_WITH_PHP for various pecl-ports.
|
2017-12-14 13:57:28 +00:00 |
pecl-bitset
|
Update to 3.0.1
|
2017-10-07 09:12:52 +00:00 |
pecl-bitset2
|
Fix build
|
2017-12-11 10:40:51 +00:00 |
pecl-stats
|
Add missing IGNORE_WITH_PHP for various pecl-ports.
|
2017-12-14 13:57:28 +00:00 |
pecl-stats2
|
|
|
pecl-trader
|
Add missing IGNORE_WITH_PHP for various pecl-ports.
|
2017-12-14 13:57:28 +00:00 |
php56-bcmath
|
|
|
php56-gmp
|
|
|
php70-bcmath
|
|
|
php70-gmp
|
|
|
php71-bcmath
|
|
|
php71-gmp
|
|
|
php72-bcmath
|
PHP 7.2: Remove bad repocopies.
|
2017-11-16 17:12:24 +00:00 |
php72-gmp
|
PHP 7.2: Remove bad repocopies.
|
2017-11-16 17:12:24 +00:00 |
physcalc
|
|
|
picosat
|
|
|
plman
|
|
|
ploticus
|
|
|
ploticus-nox11
|
|
|
plplot
|
Use swig 3.0
|
2017-12-20 15:16:30 +00:00 |
plplot-ada
|
|
|
primegen
|
|
|
prng
|
Unbreak examples installation
|
2018-01-13 10:13:48 +00:00 |
proofgeneral
|
Flavorize and modernize Emacs ports
|
2018-02-01 18:03:09 +00:00 |
pspp
|
- Add CPE information for math/pspp
|
2017-10-12 22:39:11 +00:00 |
pure-mpfr
|
|
|
pure-rational
|
|
|
py-altgraph
|
Update to 0.15
|
2017-12-03 20:37:58 +00:00 |
py-apgl
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-basemap
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-basemap-data
|
|
|
py-bitmath
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-bitvector
|
|
|
py-bottleneck
|
Fix WWW
|
2017-12-30 00:15:10 +00:00 |
py-cdecimal
|
|
|
py-colormath
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-cryptominisat
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
py-fastcluster
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-ffc
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
py-fiat
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
py-fpconst
|
|
|
py-gato
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-gmpy
|
|
|
py-gmpy2
|
|
|
py-gnuplot
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-graphillion
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-gsl
|
- Update to 2.3.0
|
2017-12-26 19:30:17 +00:00 |
py-igraph
|
- Add LICENSE
|
2018-01-12 09:56:52 +00:00 |
py-intspan
|
Canonicalize PyPi WWWs:
|
2018-02-08 20:18:08 +00:00 |
py-keras
|
math/py-keras: Update to 2.1.3
|
2018-01-28 13:31:35 +00:00 |
py-luminol
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-mathdom
|
Canonicalize PyPi WWWs:
|
2018-02-08 20:18:08 +00:00 |
py-matplotlib
|
math/py-matplotlib: unbreak build with Clang 6 (C++14 by default)
|
2018-01-06 05:24:09 +00:00 |
py-mpmath
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-munkres
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-networkx
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-numarray
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-numeric
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-numexpr
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-numpy
|
exec_command.py states in comments it uses /bin/sh on POSIX for subprocess but incorrectly uses shell from environment. This makes compiles fail when compilation is done using the account 'nobody' which is default on pkg-fallout runs.
|
2018-01-14 20:33:37 +00:00 |
py-nzmath
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-pandas
|
math/py-pandas: Update to 0.22.0
|
2018-01-16 15:08:08 +00:00 |
py-patsy
|
Fix WWW
|
2017-12-30 00:15:15 +00:00 |
py-plastex
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-probstat
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-pyasp
|
Canonicalize PyPi WWWs:
|
2018-02-08 20:18:08 +00:00 |
py-pybloom
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-pycosat
|
|
|
py-pyhull
|
- math/py-pyhull: Update to 2015.2.0
|
2017-06-17 10:42:44 +00:00 |
py-pymc
|
Canonicalize PyPi WWWs:
|
2018-02-08 20:18:08 +00:00 |
py-pysparse
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-pyvtk
|
Fix WWW
|
2017-06-27 16:19:19 +00:00 |
py-PyWavelets
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-roman
|
Canonicalize PyPi WWWs:
|
2018-02-08 20:18:08 +00:00 |
py-scientific
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-statsmodels
|
Fix WWW
|
2017-12-30 00:15:20 +00:00 |
py-svgmath
|
|
|
py-symeig
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
py-sympy
|
math/py-sympy: Added USE_PYTHON=concurrent; Added NO_ARCH=yes
|
2018-01-15 23:11:00 +00:00 |
py-theano
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
py-ufl
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
py-viper
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
py-yt
|
py-yt depends on the sympy module, not on the isympy command
|
2018-02-15 10:29:05 +00:00 |
qalculate
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
qd
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
qhull
|
|
|
qhull5
|
Remove a few text occurrences of NOPORTDOCS.
|
2018-01-09 07:55:05 +00:00 |
qrupdate
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
qtiplot
|
Add a patch to fix the build with newer versions of SIP.
|
2018-01-02 12:52:21 +00:00 |
qtiplot-doc
|
|
|
qtoctave
|
|
|
qwtplot3d-qt4
|
|
|
R
|
math/R: Rename files/extra-patch-src_main_Makefile.in to
|
2017-12-01 15:28:01 +00:00 |
R-cran-Amelia
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-assertthat
|
|
|
R-cran-backports
|
- Update to 1.1.1
|
2017-09-27 19:28:31 +00:00 |
R-cran-bdsmatrix
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-car
|
math/R-cran-car: updated to version 2.1-6
|
2017-12-18 07:32:48 +00:00 |
R-cran-ChangeAnomalyDetection
|
|
|
R-cran-coda
|
|
|
R-cran-combinat
|
math/R-cran-combinat: Fix typo in WWW
|
2017-07-28 00:16:32 +00:00 |
R-cran-CVST
|
- Add new port: math/R-cran-CVST
|
2017-09-10 07:56:14 +00:00 |
R-cran-ddalpha
|
- Update to 1.3.1
|
2017-10-01 05:52:41 +00:00 |
R-cran-deldir
|
|
|
R-cran-DEoptimR
|
- Add new port: math/R-cran-DEoptimR
|
2017-09-10 10:58:13 +00:00 |
R-cran-dimRed
|
- Add new ports: math/R-cran-dimRed
|
2017-09-10 09:31:11 +00:00 |
R-cran-dlmodeler
|
|
|
R-cran-dplyr
|
- Update to 0.7.4
|
2017-12-21 10:55:13 +00:00 |
R-cran-DRR
|
- Add new port: math/R-cran-DRR
|
2017-09-10 08:32:31 +00:00 |
R-cran-expm
|
|
|
R-cran-forecast
|
Fix whitespace issues (mixed tab/spaces, alignment) in a few ports.
|
2017-11-02 21:41:47 +00:00 |
R-cran-Formula
|
- Update to 1.2-2
|
2017-07-12 09:25:28 +00:00 |
R-cran-fracdiff
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-geepack
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-gmp
|
|
|
R-cran-gower
|
- Add new port: math/R-cran-gower
|
2017-09-10 12:56:19 +00:00 |
R-cran-gpclib
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-gss
|
|
|
R-cran-gtable
|
|
|
R-cran-igraph
|
- Update to 1.1.2
|
2017-08-22 03:27:06 +00:00 |
R-cran-influenceR
|
|
|
R-cran-inline
|
|
|
R-cran-ipred
|
- Add new port: math/R-cran-ipred
|
2017-09-10 04:38:29 +00:00 |
R-cran-irlba
|
|
|
R-cran-KFAS
|
- Update to 1.2.9
|
2017-09-05 10:04:16 +00:00 |
R-cran-labeling
|
|
|
R-cran-lava
|
- Update to 1.5.1
|
2017-09-29 04:30:12 +00:00 |
R-cran-lazyeval
|
- Update to 0.2.1
|
2017-11-09 06:07:12 +00:00 |
R-cran-LearnBayes
|
|
|
R-cran-lme4
|
- Update to 1.1-14
|
2017-09-29 04:31:58 +00:00 |
R-cran-Matching
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-MatchIt
|
- Update to 3.0.2
|
2018-01-29 13:31:39 +00:00 |
R-cran-MatrixModels
|
|
|
R-cran-maxLik
|
|
|
R-cran-mcmc
|
|
|
R-cran-MCMCpack
|
- Update to 1.4-0
|
2017-06-06 08:44:52 +00:00 |
R-cran-memisc
|
- Update to 0.99.14.2
|
2017-09-10 22:29:55 +00:00 |
R-cran-minqa
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-miscTools
|
|
|
R-cran-MSwM
|
|
|
R-cran-mvtnorm
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-nloptr
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-NMF
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-nnls
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-nortest
|
|
|
R-cran-numDeriv
|
|
|
R-cran-outliers
|
|
|
R-cran-pbkrtest
|
|
|
R-cran-prodlim
|
- Add new port: math/R-cran-prodlim
|
2017-09-10 02:04:26 +00:00 |
R-cran-psych
|
|
|
R-cran-quadprog
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-qualityTools
|
|
|
R-cran-quantreg
|
|
|
R-cran-RcppArmadillo
|
- Update to 0.7.960.1.2
|
2017-09-05 17:17:51 +00:00 |
R-cran-RcppEigen
|
|
|
R-cran-RcppRoll
|
- Add new port: math/R-cran-RcppRoll
|
2017-09-10 12:42:37 +00:00 |
R-cran-recipes
|
- Add new port: math/R-cran-recipes
|
2017-09-10 14:19:58 +00:00 |
R-cran-rgenoud
|
- Update to 5.8-1.0
|
2017-11-09 06:23:44 +00:00 |
R-cran-RHmm
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-Rmpfr
|
|
|
R-cran-robustbase
|
- Add new port: math/R-cran-robustbase
|
2017-09-10 11:25:08 +00:00 |
R-cran-Rsolnp
|
|
|
R-cran-RSvgDevice
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-sandwich
|
- Update to 2.4-0
|
2017-08-28 06:26:27 +00:00 |
R-cran-sf
|
- Update to 0.5-4
|
2017-09-05 22:52:02 +00:00 |
R-cran-sm
|
- Mark BROKEN on amd64
|
2017-10-14 12:25:57 +00:00 |
R-cran-sp
|
- Update to 1.2.7
|
2018-01-29 12:34:28 +00:00 |
R-cran-SparseM
|
|
|
R-cran-spdep
|
- Update to 0.6-15
|
2017-09-05 22:59:38 +00:00 |
R-cran-sspir
|
Remove superfluous linefeeds and fix some other minor whitespace bugs.
|
2018-01-11 16:53:44 +00:00 |
R-cran-stabledist
|
|
|
R-cran-survey
|
- Update to 3.33
|
2018-01-30 23:24:43 +00:00 |
R-cran-truncnorm
|
qa: add check for NO_ARCH
|
2017-06-18 18:09:16 +00:00 |
R-cran-units
|
- Update to 0.4-6
|
2017-09-05 17:22:11 +00:00 |
R-cran-VGAM
|
- Update to 1.0.4
|
2017-07-26 08:13:12 +00:00 |
R-cran-xts
|
- Update to 0.10-0
|
2017-07-09 03:33:57 +00:00 |
R-cran-Zelig
|
- Update to 5.1.5
|
2017-12-06 02:28:55 +00:00 |
R-cran-zoo
|
|
|
randlib
|
|
|
rapid
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
reduce
|
|
|
reed-solomon
|
|
|
rexx-regmath
|
New port: math/rexx-regmath
|
2017-10-13 00:37:31 +00:00 |
rkward-kde4
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
rngstreams
|
|
|
rocs
|
Rename KDE4 meta ports
|
2018-02-10 10:29:51 +00:00 |
rpcalc
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
rpy
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
rpy2
|
Convert Python ports to FLAVORS.
|
2017-11-30 15:50:30 +00:00 |
rubygem-algebra
|
|
|
rubygem-expression_parser
|
|
|
rubygem-fftw3
|
|
|
rubygem-narray
|
|
|
rubygem-narray_miss
|
math/rubygem-narray_miss: update to 1.4.0
|
2018-01-15 15:30:17 +00:00 |
rubygem-numru-misc
|
math/rubygem-numru-misc: update to 0.1.2
|
2018-01-15 15:32:32 +00:00 |
rubygem-numru-units
|
math/rubygem-numru-units: update to 1.9.0
|
2018-01-15 15:37:55 +00:00 |
rubygem-rb-gsl
|
Update math/gsl to 2.4
|
2017-07-03 20:38:11 +00:00 |
saga
|
math/saga: unbreak build with wxWidgets 3.0.3
|
2018-01-21 02:22:17 +00:00 |
sage
|
multimedia/ffmpeg: update to 3.4
|
2017-10-21 06:50:49 +00:00 |
sc
|
|
|
sc-im
|
Update to 0.7.0
|
2017-12-15 10:53:54 +00:00 |
scalapack
|
Update CMake to 3.10.1
|
2017-12-23 10:44:23 +00:00 |
scilab
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
scilab-toolbox-sivp
|
|
|
scilab-toolbox-swt
|
|
|
SCIP
|
New port: math/SCIP: Solver for mixed integer, mixed integer nonlinear programming
|
2017-12-25 19:03:30 +00:00 |
sdpa
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
sdpara
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
secp256k1
|
An optimized C library for EC operations on curve secp256k1.
|
2018-01-29 13:23:12 +00:00 |
sfft
|
Use ONLY_FOR due to specific dependence on x86 instructions.
|
2018-02-11 15:49:22 +00:00 |
sfst
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
simd-viterbi
|
|
|
slatec
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
slgrace
|
|
|
snns
|
|
|
solitaire
|
|
|
SoPlex
|
math/SoPlex: Update to 3.1.1
|
2018-02-12 09:33:14 +00:00 |
sound-of-sorting
|
|
|
spar
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
spblas
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
speedcrunch
|
- Update to 0.12.0
|
2017-10-09 14:57:12 +00:00 |
spooles
|
|
|
spooles-mpich
|
|
|
stp
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
suitesparse
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
sundials
|
math/sundials: Changed to using <opt>_IMPLIES for HYPRE and PETSC options, and removed the .include clause
|
2017-12-30 08:15:36 +00:00 |
superlu
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
superlu_mt
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
surf
|
|
|
symmetrica
|
New port: math/symmetrica: Collection of routines for combinatorial mathematics
|
2018-01-01 17:11:44 +00:00 |
tablix
|
|
|
taucs
|
Fix whitespace issues (mixed tab/spaces, alignment) in a few ports.
|
2017-10-31 14:51:53 +00:00 |
tblis
|
new port math/tblis: a framework to perform tensor operations which are ubiquitous in a variety of domains (quantum chemistry, machine learning, ...). This port is a sibling port to math/blis and math/libflame and follows their philosophy for efficient operations.
|
2018-01-17 13:15:36 +00:00 |
testu01
|
Remove superfluous linefeeds and fix some other minor whitespace bugs.
|
2018-01-11 16:53:44 +00:00 |
tetgen
|
|
|
timbl
|
|
|
tmv
|
New port: math/tmv: Fast, intuitive linear algebra library for C++
|
2018-01-26 23:14:51 +00:00 |
tomsfastmath
|
Fix USE_GITHUB usage.
|
2017-11-06 14:24:39 +00:00 |
topaz
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
triangle
|
|
|
trlan
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
truthtable
|
|
|
tvmet
|
|
|
ufc
|
Multiple ports:
|
2018-01-31 01:07:07 +00:00 |
ump
|
|
|
units
|
|
|
unuran
|
|
|
viennacl
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
vowpal_wabbit
|
devel/boost-*: update to 1.66.0
|
2018-01-18 04:11:02 +00:00 |
vtk5
|
Remove superfluous linefeeds and fix some other minor whitespace bugs.
|
2018-01-11 16:53:44 +00:00 |
vtk5-data
|
|
|
vtk6
|
Remove flavors from vtk6, it's not useful with PY_FLAVOR (initial
|
2017-12-24 12:17:40 +00:00 |
wcalc
|
Update devel/readline to 7.0 patch 3
|
2017-06-27 13:46:53 +00:00 |
wfmath
|
Bump PORTREVISION for ports depending on the canonical version of GCC
|
2017-09-10 20:55:38 +00:00 |
why3
|
|
|
wingz3
|
Remove bits of the MASTER_SITES, it was not returning anything.
|
2017-09-22 08:30:46 +00:00 |
wxMaxima
|
Regular USE_GITHUB cleanup.
|
2017-07-27 13:57:30 +00:00 |
x12arima
|
Do not abuse INSTALL_MAN when installing documentation, examples, and
|
2018-01-11 14:18:01 +00:00 |
xblas
|
|
|
xfce4-calculator-plugin
|
|
|
xgraph
|
|
|
xlapack
|
|
|
xldlas
|
|
|
xplot
|
|
|
xppaut
|
|
|
xspread
|
|
|
yacas
|
Fix whitespace issues (mixed tab/spaces, alignment) in a few ports.
|
2017-11-02 21:41:47 +00:00 |
z3
|
Update to 4.6.0 release and create shared lib symlink.
|
2018-01-23 13:55:27 +00:00 |
zimpl
|
New port: math/zimpl: Language to translate the LP models into .lp or .mps
|
2017-12-25 21:31:55 +00:00 |
Makefile
|
New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
|
2018-02-03 20:59:14 +00:00 |