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
/
cvc4
Commit message (
Expand
)
Author
Age
Files
Lines
*
math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5
Yuri Victorovich
2023-01-04
15
-437
/
+0
*
*/*: Release ports from maintainership
Fernando Apesteguía
2022-10-09
1
-1
/
+1
*
math/cvc4: Mark BROKEN, doesn't build
Daniel Engberg
2022-10-05
1
-0
/
+2
*
Remove WWW entries moved into port Makefiles
Stefan Eßer
2022-09-07
1
-2
/
+0
*
Add WWW entries to port Makefiles
Stefan Eßer
2022-09-07
1
-0
/
+1
*
*/*: bump all consumers after recent boost upgrade
Dima Panov
2022-08-12
1
-1
/
+1
*
devel/boost-all: bump all library consumers after boost upgrade
Dima Panov
2022-05-22
1
-1
/
+1
*
*: Remove unnecessary 'port' argument from USES=readline
Yasuhiro Kimura
2021-05-15
1
-1
/
+1
*
One more small cleanup, forgotten yesterday.
Mathieu Arnold
2021-04-07
1
-1
/
+0
*
Remove # $FreeBSD$ from Makefiles.
Mathieu Arnold
2021-04-06
1
-1
/
+0
*
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Gleb Popov
2020-07-09
1
-1
/
+1
*
Move devel/swig30 to devel/swig and update to 4.0.1
Sunpoet Po-Chuan Hsieh
2020-06-17
2
-2
/
+42
*
devel/boost-*: update to 1.72.0
Jan Beich
2019-12-11
1
-1
/
+1
*
Clean up after java/openjdk6 and java/openjdk6-jre removal
Jung-uk Kim
2019-11-26
1
-1
/
+1
*
devel/boost-*: update to 1.71.0
Jan Beich
2019-08-19
1
-1
/
+1
*
math/cvc4: simplify post-patch
Fernando Apesteguía
2019-08-06
1
-2
/
+2
*
math/cvc4: Fix headers
Fernando Apesteguía
2019-08-05
1
-0
/
+5
*
math/cvc4: update to 1.7
Fernando Apesteguía
2019-08-01
14
-120
/
+221
*
Bump PORTREVISION for ports depending on the canonical version of GCC
Gerald Pfeifer
2019-07-26
1
-1
/
+1
*
math/cvc4: Remove llvm60 build dependency
Tobias Kortkamp
2019-05-27
1
-7
/
+2
*
devel/boost-*: update to 1.70.0
Jan Beich
2019-04-12
1
-1
/
+1
*
Update devel/readline to 8.0
Sunpoet Po-Chuan Hsieh
2019-04-09
1
-1
/
+1
*
devel/boost-*: update to 1.69.0
Jan Beich
2018-12-12
1
-1
/
+1
*
devel/boost-*: update to 1.68.0
Jan Beich
2018-08-09
1
-0
/
+1
*
math/cvc4: Fix the warning in 'make describe'
Yuri Victorovich
2018-07-23
1
-1
/
+1
*
math/cvc4: Update 1.5 -> 1.6
Yuri Victorovich
2018-07-22
6
-31
/
+79
*
math/cvc4: switch to GMP by default
Steve Wills
2018-07-08
1
-1
/
+1
*
New port: math/cvc4
Kurt Jaeger
2018-06-21
6
-0
/
+248
