summaryrefslogtreecommitdiff
path: root/math
AgeCommit message (Expand)Author
2019-06-19- Simplify XFCE MASTER_SITES usageGuido Falsi
2019-06-19Add compiler:c++11-lang to unbreak build on powerpc64:Mark Linimon
2019-06-19Add compiler:c++11-lang to unbreak build on powerpc64:Mark Linimon
2019-06-18math/R: force new compiler on GCC architecturesPiotr Kubaj
2019-06-18math/libnormaliz: Update to 3.7.3Steve Wills
2019-06-17math/R: add powerpc64Piotr Kubaj
2019-06-17math/openlibm: fix build with GCC-based architecturesPiotr Kubaj
2019-06-16Now that devel/openmp has been enabled on powerpc64, fix these newlyMark Linimon
2019-06-14- Update to 0.10.1.Stephen Montgomery-Smith
2019-06-14math/lll_spect: fix buildPiotr Kubaj
2019-06-14math/boolector: Add USES=compiler:c++11-langYuri Victorovich
2019-06-14New port: math/boolector: Satisfiability Modulo Theories (SMT) solverYuri Victorovich
2019-06-14New port: math/btor2tools: Generic parser and tool package for the BTOR2 formatYuri Victorovich
2019-06-14math/py-PySCIPOpt: Update 2.1.3 -> 2.1.5Yuri Victorovich
2019-06-13math/py-PuLP: Update 1.6.9 -> 1.6.10Yuri Victorovich
2019-06-13math/py-Pyomo: Update 5.6.2 -> 5.6.5Yuri Victorovich
2019-06-13math/hs-Agda: Update to latest version and unbreak.Gleb Popov
2019-06-13math/rumur: Update 2019.06.05 -> 2019.06.12Yuri Victorovich
2019-06-13Add NO_ARCHSunpoet Po-Chuan Hsieh
2019-06-13Remove left-over meaningless 85+ from USES t(cl|k)Pietro Cerutti
2019-06-13math/py-cvxpy: Update 1.0.23 -> 1.0.24Yuri Victorovich
2019-06-12math/mfem: fix buildPiotr Kubaj
2019-06-11Upgrade to version 2.0.3.Stefan Eßer
2019-06-10math/libxls: fix buildPiotr Kubaj
2019-06-09math/g2o: Canonicalize options group names after r503781 (D20426)Tobias Kortkamp
2019-06-09math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongsYuri Victorovich
2019-06-09math/rumur: Broken on i386Yuri Victorovich
2019-06-08Chase llvm35 expirationAntoine Brodin
2019-06-08math/spectra: Update 0.8.0 -> 0.8.1Yuri Victorovich
2019-06-08math/maxima: Update to 5.43.0Steve Wills
2019-06-07Another attempt to fix build breakage that does only affect the packageStefan Eßer
2019-06-07math/giacxcas: Update 1.5.0-57 -> 1.5.0-59Yuri Victorovich
2019-06-07math/py-spot: Update 2.7.4 -> 2.7.5Yuri Victorovich
2019-06-07math/spot: Update 2.7.4 -> 2.7.5Yuri Victorovich
2019-06-07Update KDE Applications to 19.04.2Tobias C. Berner
2019-06-06math/openturns: Update 1.13rc1 -> 1.13Yuri Victorovich
2019-06-06math/rumur: Update 2019.06.01 -> 2019.06.05Yuri Victorovich
2019-06-05Update to 1.5.1Baptiste Daroussin
2019-06-04Try to fix a package build error that I cannot reproduce on my system.Stefan Eßer
2019-06-03- Update to 4.9.6Wen Heping
2019-06-03- configure requires cmake to work properly.Stephen Montgomery-Smith
2019-06-03New port: math/rumur: Model checker, a formal verification tool for state mac...Yuri Victorovich
2019-06-02math/hmat-oss: Enable testsYuri Victorovich
2019-06-02Bump PORTREVISION on *-sbcl ports after lang/sbcl upgrade.Kirill Ponomarev
2019-06-02lang/ghc: Update to 8.6.4 and bump PORTREVISIONs for Haskell ports.Gleb Popov
2019-06-02Update to version 2.0.2.Stefan Eßer
2019-06-02Fix omission of changes in previous commit.Stefan Eßer
2019-06-02Update to version 2.0.0Stefan Eßer
2019-06-01math/hmat-oss: Update 1.5.0-340 -> 1.5.0-348Yuri Victorovich
2019-06-01math/giacxcas: Update 1.5.0-53 -> 1.5.0-57Yuri Victorovich
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-20 03:49:22 +0000