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
/
devel
/
frama-c
Commit message (
Expand
)
Author
Age
Files
Lines
*
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)
John Marino
2015-03-22
4
-605
/
+306
*
Mark BROKEN: Fails to build with ocamlgraph 1.8.6
Antoine Brodin
2015-01-31
1
-0
/
+2
*
Cleanup plist
Baptiste Daroussin
2014-10-27
1
-21
/
+0
*
Update the default version of GCC in the Ports Collection from GCC 4.7.4
Gerald Pfeifer
2014-09-10
1
-1
/
+1
*
Use MAKE_CMD
Baptiste Daroussin
2014-06-24
1
-2
/
+2
*
devel/frama-c: Re-stage to correct -print-libpath
John Marino
2014-06-03
1
-2
/
+5
*
devel/frama-c: Update version Oxygen => Neon to unbreak and stage
John Marino
2014-05-07
5
-303
/
+547
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
Baptiste Daroussin
2013-09-20
1
-0
/
+1
*
update to the Oxygen release
Brendan Fabeny
2013-03-07
3
-100
/
+132
*
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
Brendan Fabeny
2013-03-05
1
-8
/
+15
*
temporarily fix the build by reverting to the use of the bundled
Brendan Fabeny
2012-06-27
2
-8
/
+6
*
- Mark BROKEN: does not build
Pav Lucistnik
2012-06-26
1
-0
/
+2
*
- update png to 1.5.10
Dirk Meyer
2012-06-01
1
-0
/
+2
*
update to Nitrogen-20111001
Brendan Fabeny
2011-12-21
3
-144
/
+219
*
fix the plist after the recent ocamlgraph update by permitting
Brendan Fabeny
2011-10-21
1
-16
/
+19
*
Add frama-c , extensible platform for source-code analysis of C.
Brendan Fabeny
2011-09-18
4
-0
/
+1033