Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/freebsd/freebsd-ports.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/math/z3
AgeCommit message (Expand)Author
2022-09-08Remove WWW entries moved into port MakefilesStefan Eßer
2022-09-08Add WWW entries to port MakefilesStefan Eßer
2022-08-14math/z3: fix build on armv7Piotr Kubaj
2022-08-11math/z3: Update to 4.10.2Gleb Popov
2022-05-20math/z3: Update to 4.8.17Gleb Popov
2022-05-05math/z3: Update to 4.8.16Gleb Popov
2021-12-14math/z3: Update to 4.8.13Gleb Popov
2021-10-24math/z3: Update to 4.8.12Gleb Popov
2021-04-07One more small cleanup, forgotten yesterday.Mathieu Arnold
2021-04-06Remove # $FreeBSD$ from Makefiles.Mathieu Arnold
2021-02-18math/z3: Update to 4.8.10Gleb Popov
2020-10-20math/z3: Update to 4.8.9Gleb Popov
2020-05-13math/z3: Update to 4.8.8.Gleb Popov
2020-04-14math/z3: fix build on powerpc with clangPiotr Kubaj
2019-11-24math/z3: Pull in upstream patch to fix build on i386.Gleb Popov
2019-11-23math/z3: Update to 4.8.7.Gleb Popov
2019-09-21math/z3: Update to 4.8.6.Gleb Popov
2019-07-26Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer
2019-06-26math/z3: Update to 4.8.5.Gleb Popov
2019-02-23math/z3: Update to 4.8.4.Gleb Popov
2018-12-12Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer
2018-11-24math/z3: Update to 4.8.3Gleb Popov
2018-09-22math/z3: Add compiler:c++11-lang to USES.Gleb Popov
2018-09-18math/z3: add -znotext to LDFLAGS on i386, for lldEd Maste
2018-07-25math/z3: Fix the python binding to work for all python versionsYuri Victorovich
2018-06-17math/z3: Update to 4.7.1.Gleb Popov
2018-03-09Mark this ports unbroken on powerpc64.Mark Linimon
2018-01-23Update to 4.6.0 release and create shared lib symlink.Alex Dupre
2017-12-24math/z3: Add missing dependency on devel/py-setuptoolsJoseph Mingrone
2017-11-30Convert Python ports to FLAVORS.Mathieu Arnold
2017-09-05math/z3: Patch to add SONAME to shared libraryJoseph Mingrone
2016-12-09- Update to 4.5.0Wen Heping
2016-04-21many ports: mark broken on powerpc64Steve Wills
2016-04-01Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold
2015-09-23Port improvements and modernizationMark Felder
2015-09-22Z3 is a high-performance theorem prover developedMark Felder
    generated by cgit v1.2.3 (git 2.25.1) at 2024-06-10 21:03:47 +0300