index
:
freebsd-ports-gnome
cinnamon
cinnamon-2.8
dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7
dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2
dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8
dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2
gnome-3.22
gnome-3.24
gnome-3.26
gnome-3.28
gnome-3.32
gnome-3.36
gstreamer
gstreamer-1.16
gstreamer0.10-removal
main
master
mate-1.16
mate-1.18
mate-1.20
mate-1.22
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
math
/
cvc3
Commit message (
Expand
)
Author
Age
Files
Lines
*
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
gerald
2016-11-20
1
-0
/
+1
*
Use USES=pathfix where applicable.
mat
2016-10-21
2
-6
/
+6
*
Convert tab after WWW: in pkg-descrs to single space as per PHB
amdmi3
2016-05-24
1
-1
/
+1
*
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
amdmi3
2016-05-19
1
-1
/
+1
*
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
mat
2016-04-01
1
-1
/
+1
*
Cleanup plist
antoine
2014-11-14
1
-1
/
+0
*
Stagify.
vanilla
2014-07-16
2
-2
/
+45
*
Modernize LIB_DEPENDS
bapt
2014-07-14
1
-1
/
+1
*
Remove indefinite articles and trailing periods from COMMENT, plus minor
olgeni
2014-07-07
1
-1
/
+1
*
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
lwhsu
2013-11-13
1
-0
/
+1
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
Convert to new perl framework
bapt
2013-09-17
1
-6
/
+2
*
Convert USE_BISON to USES= bison
bapt
2013-03-08
1
-6
/
+2
*
- Update to 2.4.1
lwhsu
2012-02-04
3
-7
/
+21
*
- Get Rid MD5 support
miwi
2011-03-20
1
-1
/
+0
*
Switch to use newer GMP version.
ale
2010-04-19
1
-2
/
+2
*
Chase libgmp and bump PORTREVISION.
ale
2009-05-13
1
-1
/
+1
*
Migration from bison 1.x to 2.x
ade
2007-10-17
1
-1
/
+2
*
- Update to 1.2.1
lwhsu
2007-09-08
3
-4
/
+7
*
- Change to my FreeBSD.org email
lwhsu
2007-04-04
1
-1
/
+1
*
Add cvc3 1.0, an automatic theorem prover for the SMT problem.
clsung
2007-03-25
4
-0
/
+143