| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove math/arpack: math/arpack-ng should be used instead | yuri | 2018-10-07 | 7 | -670/+1 |
* | Fix every instance of RUN_DEPENDS:=${BUILD_DEPENDS} in p5 ports, except | des | 2018-10-06 | 52 | -104/+104 |
* | Update MASTER_SITES and WWW | sunpoet | 2018-10-06 | 2 | -2/+2 |
* | math/arpack-ng: Install headers | yuri | 2018-10-06 | 2 | -8/+13 |
* | - Update to 2.7.1. | stephen | 2018-10-06 | 2 | -5/+4 |
* | cad/calculix-ccx math/arpack++ math/armadillo math/scilab math/octave: Change... | yuri | 2018-10-05 | 4 | -8/+8 |
* | Delete math/arpack-ng-mpich from Makefile; Add the record to MOVED | yuri | 2018-10-05 | 1 | -1/+0 |
* | math/arpack-ng: Correction | yuri | 2018-10-05 | 2 | -4/+3 |
* | math/arpack-ng: Update 3.5.0 -> 3.6.3 | yuri | 2018-10-05 | 4 | -40/+20 |
* | Update to 1.15.1 | sunpoet | 2018-10-05 | 2 | -20/+19 |
* | math/arpack-ng: Take maintainership | yuri | 2018-10-05 | 1 | -1/+1 |
* | Update devel/tbb to version 2019 and bump dependent port's revisions | martymac | 2018-10-04 | 3 | -2/+3 |
* | - Add LICENSE | amdmi3 | 2018-10-04 | 2 | -3/+4 |
* | New port: math/adol-c: Automatic differentiation library | yuri | 2018-10-04 | 6 | -0/+101 |
* | New port: math/nanoflann: Header-only library for Nearest Neighbor (NN) searc... | yuri | 2018-10-04 | 4 | -0/+55 |
* | New port: math/deal.ii: Finite element Differential Equations Analysis Librar... | yuri | 2018-10-03 | 6 | -0/+623 |
* | science/PETSc: Update 3.9.4->3.10.1; math/py-petsc4py: Update 3.9.1->3.10.0; ... | yuri | 2018-10-03 | 12 | -41/+28 |
* | Reset maintainer on my python ports | feld | 2018-10-03 | 2 | -2/+2 |
* | Update to 0.8.3 | bapt | 2018-10-02 | 2 | -4/+4 |
* | Cleanup plists | antoine | 2018-10-01 | 2 | -3/+3 |
* | - Add LICENSE | amdmi3 | 2018-10-01 | 2 | -3/+5 |
* | The FreeBSD GNOME team proudly presents GNOME 3.28 for FreeBSD. | kwm | 2018-09-30 | 3 | -17/+20 |
* | math/py-spot: Update 2.6.1 -> 2.6.2 | yuri | 2018-09-30 | 2 | -5/+4 |
* | math/spot: Update 2.6.1 -> 2.6.2 | yuri | 2018-09-30 | 2 | -5/+4 |
* | - Update to 2.2.5.6 | wen | 2018-09-29 | 2 | -4/+4 |
* | Fix build on i386 and aarch64 by enabling -fPIC | db | 2018-09-29 | 2 | -9/+2 |
* | Remove expired ports: | rene | 2018-09-27 | 11 | -269/+0 |
* | Mark BROKEN: conflicting dependencies | antoine | 2018-09-27 | 2 | -0/+3 |
* | math/py-pyhull: Update 2015.2.0 -> 2015.2.1 | yuri | 2018-09-27 | 2 | -5/+4 |
* | Update Objective-C LLVM version to 6.0. | brooks | 2018-09-26 | 1 | -1/+1 |
* | - Fix build with powerpc64 | wen | 2018-09-26 | 5 | -0/+4 |
* | - Update to 0.999-3 | tota | 2018-09-26 | 2 | -5/+4 |
* | - Update to 0.5.2. | stephen | 2018-09-26 | 2 | -5/+5 |
* | Fix build on powerpc64 | jhale | 2018-09-26 | 1 | -4/+2 |
* | Update gnumeric to 1.12.43. | kwm | 2018-09-26 | 5 | -515/+1908 |
* | - Update to 0.6-1 | tota | 2018-09-25 | 2 | -4/+4 |
* | - Add LICENSE | amdmi3 | 2018-09-25 | 1 | -0/+4 |
* | - Update to 0.93-3 | tota | 2018-09-25 | 2 | -4/+4 |
* | These ports now build on powerpc64. | linimon | 2018-09-25 | 2 | -4/+0 |
* | - Update to 1.8-4 | tota | 2018-09-25 | 2 | -4/+4 |
* | math/py-cyipopt: Update 0.1.8 -> 0.1.9 | yuri | 2018-09-25 | 3 | -20/+4 |
* | - Add LICENSE | amdmi3 | 2018-09-24 | 1 | -0/+4 |
* | math/R-cran-forcats: Tools for Working with Categorical Variables (Factors) | dbn | 2018-09-24 | 4 | -0/+30 |
* | math/py-CyLP: Correct PORTNAME. | yuri | 2018-09-24 | 1 | -2/+1 |
* | New port: math/py-CyLP: Python interface to CLP, CBC, and CGL to solve LPs an... | yuri | 2018-09-24 | 5 | -0/+59 |
* | math/py-cyipopt: Update 0.1.7 -> 0.1.8 | yuri | 2018-09-24 | 3 | -6/+23 |
* | - Update to 1.3.3 | tota | 2018-09-23 | 2 | -4/+4 |
* | Fix build on gcc-bases archs. | linimon | 2018-09-23 | 1 | -3/+1 |
* | Fix build on gcc-bases archs. | linimon | 2018-09-23 | 1 | -1/+1 |
* | math/z3: Add compiler:c++11-lang to USES. | arrowd | 2018-09-23 | 1 | -1/+1 |
* | math/SoPlex: fix build on GCC-based architectures | yuri | 2018-09-23 | 1 | -1/+1 |
* | Change 4 ports from net/mpich2 to net/mpich | yuri | 2018-09-23 | 1 | -6/+4 |
* | Change 10 ports from net/mpich2 to net/mpich | yuri | 2018-09-23 | 7 | -12/+15 |
* | math/petiga: Add the xplanation to pkg-descr | yuri | 2018-09-23 | 1 | -0/+2 |
* | Change 20 ports from net/mpich2 to net/mpich | yuri | 2018-09-23 | 4 | -9/+10 |
* | Fix build on gcc-based archs by updating USES. | linimon | 2018-09-22 | 5 | -11/+8 |
* | math/py-pygslodeiv2: Add tests | yuri | 2018-09-22 | 1 | -0/+4 |
* | math/py-pyodesys: Add tests; Add EXTRAS option for extra-dependencies | yuri | 2018-09-22 | 1 | -0/+15 |
* | math/py-fastdtw: Fix license | yuri | 2018-09-21 | 1 | -2/+2 |
* | New port: math/py-fastdtw: Dynamic Time Warping (DTW) algorithm with an O(N) ... | yuri | 2018-09-21 | 4 | -0/+38 |
* | math/singular: add USES=ncurses warned by stage-qa | meta | 2018-09-21 | 1 | -1/+8 |
* | New port: math/py-gimmik: Generator of Matrix Multiplication Kernels | yuri | 2018-09-21 | 4 | -0/+30 |
* | New port: math/libxsmm: Library for dense and sparse matrix operations and de... | yuri | 2018-09-21 | 7 | -0/+162 |
* | math/py-secp256k1: Remove test target and depends because tests aren't defined | yuri | 2018-09-20 | 1 | -4/+0 |
* | math/py-secp256k1: Add the missing do-test target | yuri | 2018-09-20 | 1 | -1/+4 |
* | New port: math/py-pyodeint: Python binding for odeint from boost | yuri | 2018-09-20 | 4 | -0/+40 |
* | math/ntl: fix build with powerpc64, reorder USES | swills | 2018-09-20 | 1 | -1/+1 |
* | New port: math/py-pygslodeiv2: Python binding for odeiv2 in GNU Scientific Li... | yuri | 2018-09-20 | 4 | -0/+32 |
* | math/py-PuLP: Add USE_PYTHON=concurrent | yuri | 2018-09-20 | 1 | -1/+2 |
* | New port: math/py-PuLP: LP modeler written in python | yuri | 2018-09-20 | 6 | -0/+85 |
* | math/arb: Update 2.14.0 -> 2.15.0 | yuri | 2018-09-20 | 3 | -5/+5 |
* | math/py-permutation: Update 0.1.0-2 -> 0.1.1 | yuri | 2018-09-20 | 2 | -5/+4 |
* | math/py-seaborn: update to 0.9.0 | swills | 2018-09-19 | 2 | -6/+5 |
* | math/z3: add -znotext to LDFLAGS on i386, for lld | emaste | 2018-09-19 | 1 | -0/+1 |
* | More precisely specify USES=compiler to fix build on gcc-based | linimon | 2018-09-18 | 1 | -1/+1 |
* | Fix build on gcc-based archs such as powerpc64. I had already | linimon | 2018-09-18 | 1 | -0/+1 |
* | math/py-chaospy: Update 2.3.4 -> 2.3.5 | yuri | 2018-09-18 | 2 | -4/+4 |
* | math/py-rapi: Update 0.1.2 -> 0.1.3 | yuri | 2018-09-18 | 2 | -7/+4 |
* | - Update to 1.5-9 | tota | 2018-09-18 | 2 | -4/+4 |
* | - Update to 0.2.9.4 | tota | 2018-09-18 | 2 | -4/+4 |
* | - Update to 1.4-4 | tota | 2018-09-18 | 2 | -4/+4 |
* | math/py-pyodesys: Update 0.11.16 -> 0.12.3 | yuri | 2018-09-18 | 2 | -6/+6 |
* | Update to 0.8.2 | bapt | 2018-09-17 | 2 | -4/+4 |
* | Add an expiration date | antoine | 2018-09-16 | 1 | -0/+1 |
* | Update to 0.8.0 | bapt | 2018-09-15 | 3 | -4/+5 |
* | math/libmissing: back out r477151 | jbeich | 2018-09-15 | 1 | -1/+0 |
* | - Update to 0.11-1 | tota | 2018-09-14 | 2 | -4/+4 |
* | Update to 0.13 | sunpoet | 2018-09-13 | 2 | -7/+9 |
* | Update llvm dependency (for 10.x support) to llvm60. | brooks | 2018-09-13 | 1 | -4/+5 |
* | - Use INSTALL_TARGET=install-strip instead of manual stripping | cpm | 2018-09-12 | 1 | -8/+3 |
* | Change x11/xorgproto to become a build dep | zeising | 2018-09-12 | 4 | -4/+4 |
* | Remove CLISP option, lang/clisp was removed in 2014 | lwhsu | 2018-09-11 | 1 | -11/+1 |
* | - Update to 0.99.14.11 | tota | 2018-09-11 | 2 | -5/+4 |
* | Add p5-Math-Prime-Util-GMP 0.51 | sunpoet | 2018-09-11 | 5 | -0/+41 |
* | Add p5-Math-Prime-Util 0.71 | sunpoet | 2018-09-11 | 5 | -0/+68 |
* | Shorten comment. | des | 2018-09-10 | 1 | -1/+1 |
* | Various cleanup & fixes post-DOCS/EXAMPLES cleanup. | mat | 2018-09-10 | 3 | -5/+1 |
* | Add EXAMPLES options to ports that should have one. | mat | 2018-09-10 | 9 | -4/+14 |
* | Add DOCS options to ports that should have one. | mat | 2018-09-10 | 23 | -6/+43 |
* | Reassign all of tobez@'s p5 ports to perl@. | des | 2018-09-10 | 17 | -17/+17 |
* | Remove ONLY_FOR_ARCHS_REASON_<arch> that are not architecture dependant. | mat | 2018-09-10 | 1 | -1/+0 |
* | math/py-chaospy: Update 2.3.3 -> 2.3.4 | yuri | 2018-09-10 | 2 | -4/+4 |
* | Mark various ports broken on powerpc64. | linimon | 2018-09-10 | 3 | -0/+6 |
* | math/mkl-dnn: Broken on i386: shift count >= width of type | yuri | 2018-09-07 | 1 | -0/+1 |
* | math/vtk8: Make Qt5 a default option. | yuri | 2018-09-07 | 2 | -3/+4 |
* | Update the current KDE Applications to 18.08.1, the latest release. | adridg | 2018-09-07 | 8 | -24/+24 |
* | new port: math/libpgmath | jmd | 2018-09-07 | 19 | -0/+364 |
* | new port: math/sleef | jmd | 2018-09-07 | 5 | -0/+45 |
* | New port: math/py-chaospy: Toolbox for performing uncertainty quantification | yuri | 2018-09-06 | 4 | -0/+36 |
* | Update science/hdf5 to 1.10.2 | sunpoet | 2018-09-06 | 11 | -6/+11 |
* | Update to 0.7.9 | bapt | 2018-09-05 | 2 | -4/+4 |
* | New port: math/mkl-dnn: Intel(R) Math Kernel Library for Deep Neural Networks | yuri | 2018-09-05 | 5 | -0/+70 |
* | - Update to 2.5.0 | jhale | 2018-09-04 | 7 | -138/+124 |
* | Simplify Makefile: use PY_ENUM34 | sunpoet | 2018-09-03 | 1 | -1/+1 |
* | math/xtensor: Update 0.17.1 -> 0.17.3 | yuri | 2018-09-03 | 2 | -7/+4 |
* | math/py-cvxopt: Update 1.2.0 -> 1.2.1 | yuri | 2018-09-01 | 2 | -5/+4 |
* | New port: math/py-rapi: Minimal R API for Python | yuri | 2018-09-01 | 4 | -0/+36 |
* | math/rpy2: Update 2.7.8 -> 2.9.4; Move to math/py-rpy2 | yuri | 2018-09-01 | 6 | -36/+36 |
* | math/gri: Fix build with Clang 6 | tobik | 2018-09-01 | 1 | -0/+11 |
* | Package DoE.base creates full factorial experimental designs and designs | wen | 2018-09-01 | 4 | -0/+35 |
* | Additive partitions of integers. Enumerates the partitions, unequal partitions, | wen | 2018-09-01 | 4 | -0/+27 |
* | polynom is a collection of functions to implement a class for univariate | wen | 2018-09-01 | 4 | -0/+23 |
* | devel/boehm-gc: update to 7.6.8 | fernape | 2018-09-01 | 1 | -1/+1 |
* | Provides number-theoretic functions for factorization, prime numbers, | wen | 2018-08-31 | 4 | -0/+27 |
* | - Update WWW | amdmi3 | 2018-08-31 | 1 | -3/+3 |
* | Deprecate KDE4 software in categories graphics-textproc. | adridg | 2018-08-31 | 8 | -0/+24 |
* | New port: math/elpa: Eigenvalue soLver for Petaflop Applications | yuri | 2018-08-30 | 6 | -0/+140 |
* | math/blaze: Update 3.3-430 -> 3.4 | yuri | 2018-08-28 | 2 | -8/+5 |
* | math/p5-Math-ProvablePrime: Update 0.043 -> 0.045 | pi | 2018-08-27 | 2 | -4/+4 |
* | Update to upstream release 1.0.1, fix build on 11.2 | riggs | 2018-08-25 | 9 | -189/+61 |
* | Update KDE Applications to 18.08 | tcberner | 2018-08-25 | 13 | -28/+29 |
* | - Update to 2.7-0 | tota | 2018-08-24 | 2 | -4/+4 |
* | - Update to 2.5-0 | tota | 2018-08-24 | 2 | -5/+4 |
* | - Update to 1.1-18-1 | tota | 2018-08-24 | 2 | -4/+4 |
* | - Update to 1.0.6 | wen | 2018-08-23 | 2 | -5/+4 |
* | - Update to 0.9.100.5.0 | tota | 2018-08-23 | 2 | -4/+4 |
* | - Update to 0.7-8 | tota | 2018-08-23 | 2 | -4/+4 |
* | - Update WWW | amdmi3 | 2018-08-22 | 1 | -1/+1 |
* | - Update to 0.9-7 | tota | 2018-08-22 | 2 | -5/+4 |
* | - Update to 11.3.0 | wen | 2018-08-22 | 3 | -6/+10 |
* | Remove expired ports: | rene | 2018-08-21 | 14 | -495/+0 |
* | Update to 2.6.8 | sunpoet | 2018-08-21 | 2 | -4/+4 |
* | math/py-networkx: Update 1.10 -> 2.1 | yuri | 2018-08-20 | 3 | -34/+32 |
* | New port: math/blazeiterative: Set of iterative linear system solvers for use... | yuri | 2018-08-20 | 5 | -0/+63 |
* | New port: math/blaze: C++ math library for dense and sparse arithmetic | yuri | 2018-08-20 | 5 | -0/+1431 |
* | math/speedcrunch: remove uneeded depends | swills | 2018-08-19 | 1 | -1/+2 |
* | math/sc-im: fix segmentation fault upon :wq | pi | 2018-08-19 | 4 | -3/+42 |
* | - Update to 1.4.2 | wen | 2018-08-19 | 3 | -5/+7 |
* | Update to 2.19 | sunpoet | 2018-08-19 | 2 | -6/+9 |
* | Upgrade Code_Aster to 13.6.0-1. | thierry | 2018-08-18 | 1 | -1/+1 |
* | math/py-PySCIPOpt: Update 2.0.0 -> 2.0.1 | yuri | 2018-08-17 | 2 | -4/+4 |
* | math/py-sym: Update 0.3.3 -> 0.3.4 | yuri | 2018-08-17 | 2 | -4/+4 |
* | - Update to 9.100.5 | danilo | 2018-08-16 | 3 | -5/+5 |
* | math/ntl: Update to 11.2.1 | swills | 2018-08-16 | 3 | -25/+259 |
* | math/amath: update to 1.8.5 | swills | 2018-08-16 | 2 | -4/+4 |
* | - Update to 9.100.4 | danilo | 2018-08-16 | 4 | -7/+8 |
* | math/libmissing: unbreak with LLD 7 | jbeich | 2018-08-14 | 1 | -0/+1 |
* | math/py-numpy: update to 1.15.0 | rm | 2018-08-14 | 4 | -842/+17 |
* | Update to 2.6.7 | sunpoet | 2018-08-14 | 2 | -4/+4 |
* | - Update to 1.6.3 | tota | 2018-08-13 | 2 | -4/+4 |
* | - Update to 0.2.9.3 | tota | 2018-08-13 | 2 | -4/+4 |
* | math/xtensor: Unbundle xtl | yuri | 2018-08-13 | 3 | -40/+8 |
* | - Update math/octave to 4.4.1. | stephen | 2018-08-12 | 87 | -95/+94 |
* | - Update to 3.1.3. | stephen | 2018-08-12 | 2 | -5/+4 |
* | - Update to 0.7-1 | tota | 2018-08-12 | 2 | -5/+4 |
* | math/glm: make it compile with GCC 7 | fernape | 2018-08-11 | 3 | -1/+356 |
* | - Update to 8.600.1 | danilo | 2018-08-11 | 3 | -6/+5 |
* | math/xtensor: Update 0.17.0 -> 0.17.1 | yuri | 2018-08-11 | 3 | -9/+9 |
* | math/spot: Add USES=charsetfix, remove RM for lib/charset.alias | yuri | 2018-08-11 | 1 | -2/+2 |
* | math/cryptominisat: Unbreak on aarch64. | arrowd | 2018-08-10 | 2 | -0/+18 |
* | math/cryptominisat: Update to 5.6.3. | arrowd | 2018-08-10 | 4 | -10/+8 |
* | - Update to 0.93-2 | tota | 2018-08-10 | 2 | -4/+4 |
* | math/dynare: update to 4.5.6 | fernape | 2018-08-10 | 2 | -5/+4 |
* | - Update to 1.2.2 | tota | 2018-08-09 | 2 | -11/+7 |
* | math/xtensor: Unsilence the command | yuri | 2018-08-09 | 1 | -1/+1 |
* | devel/boost-*: update to 1.68.0 | jbeich | 2018-08-09 | 23 | -15/+23 |
* | math/py-pyodesys: Update 0.11.15 -> 0.11.16 | yuri | 2018-08-09 | 2 | -4/+5 |
* | math/xtensor: Update 0.16.4 -> 0.17.0 | yuri | 2018-08-09 | 4 | -12/+15 |
* | math/ambit: Use llvm60 instead of llvm38 | yuri | 2018-08-09 | 1 | -5/+5 |
* | math/cadabra2: unbreak with libc++ 7 | jbeich | 2018-08-08 | 2 | -1/+27 |
* | Regular sorting of categories Makefiles. | mat | 2018-08-08 | 1 | -3/+3 |
* | Update to 1.9.4 | vsevolod | 2018-08-08 | 3 | -8/+9 |
* | math/sundials: Update 3.1.1 -> 3.1.2 | yuri | 2018-08-07 | 3 | -9/+10 |
* | math/py-pycosat: Update to 0.6.3 | koobs | 2018-08-07 | 2 | -4/+5 |
* | Attempt to unbreak ports depending on ipython | antoine | 2018-08-06 | 1 | -2/+2 |
* | - Update to 1.5.3. | stephen | 2018-08-06 | 2 | -5/+5 |
* | math/ceres-solver: rebuild after r476182 | jbeich | 2018-08-06 | 1 | -1/+1 |
* | math/py-spot: Fix hardcoded python suffixes in plist: 36 -> %%PYTHON_SUFFIX%% | yuri | 2018-08-05 | 1 | -14/+14 |
* | math/triangle: Add -DTRILIBRARY for the shared library build, otherwise some ... | yuri | 2018-08-05 | 1 | -2/+3 |
* | math/triangle: Add SONAME to the shared library | yuri | 2018-08-05 | 1 | -4/+6 |
* | math/triangle: Install the header; build and install the shared library | yuri | 2018-08-05 | 2 | -10/+16 |
* | New port: math/py-spot: Python binding for 'Spot', the library for omega auto... | yuri | 2018-08-05 | 6 | -0/+94 |
* | New port: math/spot: Library for omega automata manipulation and model checking | yuri | 2018-08-05 | 5 | -0/+256 |
* | New port: math/zegrapher: Software for plotting mathematical objects | yuri | 2018-08-03 | 5 | -0/+49 |
* | Unbreak `math/orpie' against OCaml 4.05.0 and make it fetchable | danfe | 2018-08-02 | 4 | -1/+38 |
* | Fix a common grammar error: "can not" means the opposite of "cannot." | adamw | 2018-08-02 | 1 | -2/+2 |
* | Update math/eigen3 to 3.3.5 | tcberner | 2018-08-01 | 3 | -5/+6 |
* | Switch to xorgproto instead of individual packages | zeising | 2018-08-01 | 2 | -3/+4 |
* | math/blis: update to 0.4.0 | jmd | 2018-07-31 | 3 | -15/+9 |
* | Update to 0.23.3 | sunpoet | 2018-07-31 | 2 | -4/+4 |
* | math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website | yuri | 2018-07-31 | 5 | -3/+3 |
* | - Update to 2.2.2 | wen | 2018-07-30 | 2 | -4/+4 |
* | Bump PORTREVISION for ports depending on the canonical version of GCC | gerald | 2018-07-30 | 193 | -147/+193 |
* | Update to 2.6.6 | sunpoet | 2018-07-30 | 2 | -4/+4 |
* | Update some hs-* ports that were previously IGNORE'd. | arrowd | 2018-07-29 | 5 | -26/+11 |
* | Add p5-Statistics-CaseResampling 0.15 | sunpoet | 2018-07-28 | 5 | -0/+43 |
* | math/stp: Pull in fixes from the PR I missed. | arrowd | 2018-07-28 | 2 | -1/+5 |
* | math/py-pyodesys: Update 0.11.14 -> 0.11.15 | yuri | 2018-07-28 | 2 | -4/+4 |
* | - Update to 0.1.3. | stephen | 2018-07-28 | 3 | -67/+5 |
* | - Update to 2.7.0. | stephen | 2018-07-28 | 2 | -5/+4 |
* | Update to 3.3.8 | jhale | 2018-07-27 | 3 | -9/+9 |
* | Update math/libqalculate and math/qalculate to 2.6.1 | jhale | 2018-07-27 | 7 | -12/+13 |
* | Restore maintainership | vsevolod | 2018-07-27 | 1 | -1/+1 |
* | math/gringo: Update 4.5.2 -> 4.5.4 | yuri | 2018-07-27 | 3 | -10/+10 |
* | Update to 0.7.5 | jhale | 2018-07-26 | 2 | -4/+4 |
* | Update to 0.8.2 | jhale | 2018-07-26 | 3 | -11/+8 |
* | math/lean: Add the PORTSCOUT line. | yuri | 2018-07-26 | 1 | -0/+2 |
* | math/arb: Update 2.13.0 -> 2.14.0 | yuri | 2018-07-26 | 3 | -9/+5 |
* | math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name | yuri | 2018-07-26 | 5 | -3/+3 |
* | math/z3: Fix the python binding to work for all python versions | yuri | 2018-07-25 | 7 | -32/+49 |
* | math/nfft: update to 3.4.1 | swills | 2018-07-24 | 2 | -5/+4 |
* | PHP 7.1 and PHP 7.2: add TEST_TARGET to all extensions | tz | 2018-07-24 | 4 | -0/+8 |
* | math/stp: Update to latest 2.3.1 version. | arrowd | 2018-07-24 | 3 | -11/+19 |
* | math/cvc4: Fix the warning in 'make describe' | yuri | 2018-07-24 | 1 | -1/+1 |
* | - Update to 0.93-1.1 | tota | 2018-07-23 | 2 | -4/+4 |
* | math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository) | yuri | 2018-07-23 | 2 | -6/+5 |
* | - Update to 1.8-3 | tota | 2018-07-23 | 2 | -4/+4 |
* | math/cvc4: Update 1.5 -> 1.6 | yuri | 2018-07-23 | 6 | -31/+79 |
* | math/py-pymc3: Update 3.4.1 -> 3.5 | yuri | 2018-07-23 | 2 | -5/+6 |
* | New port: math/lean: Theorem prover | yuri | 2018-07-22 | 7 | -0/+909 |
* | New port: math/py-libpoly: Python binding for libpoly | yuri | 2018-07-21 | 5 | -0/+61 |
* | New port: math/libpoly: C library for manipulating polynomial | yuri | 2018-07-21 | 5 | -0/+60 |
* | New port: math/yices: SMT solver | yuri | 2018-07-21 | 6 | -0/+88 |
* | - Update to 0.11-0 | tota | 2018-07-20 | 2 | -4/+4 |
* | - Update to 1.4 | tota | 2018-07-20 | 2 | -4/+4 |
* | Update 0.3.2 -> 0.3.3 | yuri | 2018-07-20 | 2 | -4/+4 |
* | math/pari: Update 2.9.5 -> 2.11.0 | yuri | 2018-07-20 | 4 | -7/+7 |
* | - Update to 0.5-13.2 | tota | 2018-07-18 | 2 | -5/+4 |
* | Deprecate ports broken for more than 5 months | antoine | 2018-07-17 | 3 | -0/+6 |
* | - Update to 4.11.2 | wen | 2018-07-17 | 2 | -4/+4 |
* | math/vtk8: Unbreak: delete pkg-plist because autoplist is in use | yuri | 2018-07-15 | 1 | -4521/+0 |
* | Update KDE Applications to 18.04.3 | tcberner | 2018-07-14 | 9 | -39/+40 |
* | slepc doesn't support python 3 | antoine | 2018-07-14 | 1 | -1/+1 |
* | math/vtk6: Update CONFLICTS | yuri | 2018-07-13 | 1 | -1/+1 |
* | New port: math/vtk8: Visualization toolkit (repocopy of math/vtk6 with modifi... | yuri | 2018-07-13 | 14 | -0/+4831 |
* | math/openlibm: Not broken in aarch64 | yuri | 2018-07-13 | 1 | -1/+0 |
* | math/gambit: Update 15.1.0 -> 15.1.1 | yuri | 2018-07-11 | 3 | -16/+4 |
* | New port: math/singular | pi | 2018-07-10 | 5 | -0/+4441 |
* | math/rubygem-narray: update to 0.6.1.2 | swills | 2018-07-10 | 2 | -3/+4 |
* | math/py-igakit: Update g20180107 -> 0.1 | yuri | 2018-07-10 | 2 | -4/+4 |