aboutsummaryrefslogtreecommitdiff
path: root/math
Commit message (Expand)AuthorAgeFilesLines
* Fix a common grammar error: "can not" means the opposite of "cannot."Adam Weinberger2018-08-011-2/+2
* Update math/eigen3 to 3.3.5Tobias C. Berner2018-08-013-5/+6
* Switch to xorgproto instead of individual packagesNiclas Zeising2018-07-312-3/+4
* math/blis: update to 0.4.0Johannes M Dieterich2018-07-313-15/+9
* Update to 0.23.3Sunpoet Po-Chuan Hsieh2018-07-312-4/+4
* math/py-z3: Rename back to math/py-z3-solver to match it on PyPI websiteYuri Victorovich2018-07-305-3/+3
* - Update to 2.2.2Wen Heping2018-07-302-4/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-29193-147/+193
* Update to 2.6.6Sunpoet Po-Chuan Hsieh2018-07-292-4/+4
* Update some hs-* ports that were previously IGNORE'd.Gleb Popov2018-07-295-26/+11
* Add p5-Statistics-CaseResampling 0.15Sunpoet Po-Chuan Hsieh2018-07-285-0/+43
* math/stp: Pull in fixes from the PR I missed.Gleb Popov2018-07-282-1/+5
* math/py-pyodesys: Update 0.11.14 -> 0.11.15Yuri Victorovich2018-07-272-4/+4
* - Update to 0.1.3.Stephen Montgomery-Smith2018-07-273-67/+5
* - Update to 2.7.0.Stephen Montgomery-Smith2018-07-272-5/+4
* Update to 3.3.8Jason E. Hale2018-07-273-9/+9
* Update math/libqalculate and math/qalculate to 2.6.1Jason E. Hale2018-07-277-12/+13
* Restore maintainershipVsevolod Stakhov2018-07-271-1/+1
* math/gringo: Update 4.5.2 -> 4.5.4Yuri Victorovich2018-07-273-10/+10
* Update to 0.7.5Jason E. Hale2018-07-262-4/+4
* Update to 0.8.2Jason E. Hale2018-07-263-11/+8
* math/lean: Add the PORTSCOUT line.Yuri Victorovich2018-07-251-0/+2
* math/arb: Update 2.13.0 -> 2.14.0Yuri Victorovich2018-07-253-9/+5
* math/py-z3-solver: Rename to math/py-z3 to have a more intuitive nameYuri Victorovich2018-07-255-3/+3
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-247-32/+49
* math/nfft: update to 3.4.1Steve Wills2018-07-242-5/+4
* PHP 7.1 and PHP 7.2: add TEST_TARGET to all extensionsTorsten Zuehlsdorff2018-07-244-0/+8
* math/stp: Update to latest 2.3.1 version.Gleb Popov2018-07-243-11/+19
* math/cvc4: Fix the warning in 'make describe'Yuri Victorovich2018-07-231-1/+1
* - Update to 0.93-1.1TAKATSU Tomonari2018-07-232-4/+4
* math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)Yuri Victorovich2018-07-232-6/+5
* - Update to 1.8-3TAKATSU Tomonari2018-07-232-4/+4
* math/cvc4: Update 1.5 -> 1.6Yuri Victorovich2018-07-226-31/+79
* math/py-pymc3: Update 3.4.1 -> 3.5Yuri Victorovich2018-07-222-5/+6
* New port: math/lean: Theorem proverYuri Victorovich2018-07-227-0/+909
* New port: math/py-libpoly: Python binding for libpolyYuri Victorovich2018-07-215-0/+61
* New port: math/libpoly: C library for manipulating polynomialYuri Victorovich2018-07-215-0/+60
* New port: math/yices: SMT solverYuri Victorovich2018-07-216-0/+88
* - Update to 0.11-0TAKATSU Tomonari2018-07-202-4/+4
* - Update to 1.4TAKATSU Tomonari2018-07-202-4/+4
* Update 0.3.2 -> 0.3.3Yuri Victorovich2018-07-202-4/+4
* math/pari: Update 2.9.5 -> 2.11.0Yuri Victorovich2018-07-204-7/+7
* - Update to 0.5-13.2TAKATSU Tomonari2018-07-182-5/+4
* Deprecate ports broken for more than 5 monthsAntoine Brodin2018-07-173-0/+6
* - Update to 4.11.2Wen Heping2018-07-172-4/+4
* math/vtk8: Unbreak: delete pkg-plist because autoplist is in useYuri Victorovich2018-07-151-4521/+0
* Update KDE Applications to 18.04.3Tobias C. Berner2018-07-139-39/+40
* slepc doesn't support python 3Antoine Brodin2018-07-131-1/+1
* math/vtk6: Update CONFLICTSYuri Victorovich2018-07-121-1/+1
* New port: math/vtk8: Visualization toolkit (repocopy of math/vtk6 with modifi...Yuri Victorovich2018-07-1214-0/+4831
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-24 01:30:37 +0000