index
:
ports
2014Q1
2014Q2
2014Q3
2014Q4
2015Q1
2015Q2
2015Q3
2015Q4
2016Q1
2016Q2
2016Q3
2016Q4
2017Q1
2017Q2
2017Q3
2017Q4
2018Q1
2018Q2
2018Q3
2018Q4
2019Q1
2019Q2
2019Q3
2019Q4
2020Q1
2020Q2
2020Q3
2020Q4
2021Q1
2021Q2
2021Q3
2021Q4
2022Q1
2022Q2
2022Q3
2022Q4
2023Q1
2023Q2
2023Q3
2023Q4
2024Q1
2024Q2
main
FreeBSD ports tree
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
math
/
stp
Commit message (
Expand
)
Author
Age
Files
Lines
*
math/stp: Update to 2.3.2.
Gleb Popov
2019-02-23
3
-7
/
+6
*
Change cmake default behaviour to outsource.
Tobias C. Berner
2018-12-25
1
-1
/
+1
*
Bump PORTREVISION for ports depending on the canonical version of GCC
Gerald Pfeifer
2018-12-12
1
-1
/
+1
*
devel/boost-*: update to 1.69.0
Jan Beich
2018-12-12
1
-1
/
+1
*
Add compiler:c++11-lang to USES to fix linking with boost.
Mark Linimon
2018-11-06
1
-2
/
+1
*
devel/boost-*: update to 1.68.0
Jan Beich
2018-08-09
1
-1
/
+1
*
math/stp: Pull in fixes from the PR I missed.
Gleb Popov
2018-07-28
2
-1
/
+5
*
math/stp: Update to latest 2.3.1 version.
Gleb Popov
2018-07-24
3
-11
/
+19
*
Mark ports broken on powerpc64, categories g-n.
Mark Linimon
2018-06-18
1
-2
/
+3
*
devel/boost-*: update to 1.67.0
Jan Beich
2018-04-18
1
-1
/
+1
*
devel/boost-*: update to 1.66.0
Jan Beich
2018-01-18
1
-1
/
+1
*
devel/boost-*: update to 1.65.1
Jan Beich
2017-09-25
1
-1
/
+1
*
devel/boost-*: enable C++11 features
Jan Beich
2017-09-25
1
-1
/
+1
*
Make ninja opt-out in cmake.mk
Tobias C. Berner
2017-06-25
1
-1
/
+1
*
devel/boost-*: update to 1.64.0
Jan Beich
2017-05-02
1
-1
/
+1
*
Mark various ports broken on aarch64 and armv6.
Mark Linimon
2017-01-31
1
-0
/
+2
*
devel/boost-*: update to 1.63.0
Jan Beich
2017-01-06
1
-1
/
+1
*
Remove always-true/false conditions after 9.x, 10.[12] EOL
Dmitry Marakasov
2017-01-05
1
-10
/
+1
*
devel/boost-*: update to 1.62.0
Jan Beich
2016-11-23
1
-1
/
+1
*
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
Mathieu Arnold
2016-04-01
1
-3
/
+3
*
Remove OSVERSION checks that do not make sense any more.
Mathieu Arnold
2015-04-03
1
-4
/
+0
*
Cleanup plist
Antoine Brodin
2014-11-14
1
-3
/
+0
*
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x
Antoine Brodin
2014-08-26
1
-1
/
+1
*
Package something
Antoine Brodin
2014-08-26
2
-0
/
+11
*
Convert a bunch of USE_XZ to USES=tar:xz.
Adam Weinberger
2014-07-29
1
-2
/
+1
*
Remove indefinite articles and trailing periods from COMMENT, plus minor
Jimmy Olgeni
2014-07-07
1
-1
/
+1
*
Fix math/stp build for FreeBSD 9.x
Emanuel Haupt
2014-03-06
1
-0
/
+3
*
- Update to revision 1436
Li-Wen Hsu
2014-03-03
3
-36
/
+15
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
Baptiste Daroussin
2013-09-20
1
-0
/
+1
*
Convert to new perl framework
Baptiste Daroussin
2013-09-16
1
-3
/
+2
*
Convert USE_BISON to USES= bison
Baptiste Daroussin
2013-03-08
1
-6
/
+2
*
Mark as broken on tier-2: uses i386-specific compiler flags.
Mark Linimon
2011-12-28
1
-0
/
+4
*
- Add WITH_DEBUG support
Sunpoet Po-Chuan Hsieh
2011-11-21
1
-0
/
+4
*
- Update to revision 1407
Li-Wen Hsu
2011-11-11
2
-17
/
+26
*
- Get Rid MD5 support
Martin Wilke
2011-03-20
1
-1
/
+0
*
- Switch SourceForge ports to the new File Release System: categories startin...
Dmitry Marakasov
2009-08-22
1
-2
/
+1
*
- Update to 0.1-11-18-2008
Li-Wen Hsu
2008-12-24
2
-6
/
+6
*
Add stp , a Decision Procedure for Bitvectors and Arrays.
Li-Wen Hsu
2008-06-19
3
-0
/
+58
