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
/
science
/
bddsolve
Commit message (
Expand
)
Author
Age
Files
Lines
*
devel/boost-*: update to 1.65.1
jbeich
2017-09-25
1
-1
/
+1
*
devel/boost-*: enable C++11 features
jbeich
2017-09-25
1
-1
/
+1
*
devel/boost-*: update to 1.64.0
jbeich
2017-05-02
1
-1
/
+1
*
devel/boost-*: update to 1.63.0
jbeich
2017-01-06
1
-1
/
+1
*
devel/boost-*: update to 1.62.0
jbeich
2016-11-23
1
-1
/
+1
*
many ports: mark broken on powerpc64
swills
2016-04-22
1
-0
/
+2
*
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.
mat
2016-04-01
1
-2
/
+2
*
science/bddsolve: Set environment, use CXXFLAGS, cleanup
marino
2015-02-25
1
-9
/
+5
*
Cleanup plist
antoine
2014-11-13
1
-1
/
+0
*
- Support staging
ehaupt
2014-03-20
1
-7
/
+6
*
Convert s* to USES=zip
bapt
2014-03-11
1
-1
/
+1
*
Chase boost and icu bump
bapt
2014-02-07
1
-0
/
+1
*
Convert LIB_DEPENDS for ports depending on boost
bapt
2013-12-12
1
-2
/
+2
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
Remove USE_GCC.
ed
2013-09-15
1
-1
/
+0
*
Bump bddsolve to version 1.0.3.
ed
2013-09-15
2
-9
/
+6
*
Mark as broken on powerpc.
linimon
2011-12-28
1
-0
/
+4
*
- remove MD5
ohauer
2011-07-03
1
-1
/
+0
*
Bddsolve is a BDD-based tool for solving satisfiability and reachability
beat
2010-05-12
4
-0
/
+49