This website requires JavaScript.
Explore
Help
Register
Sign in
kpriv
/
pkgsrc
Watch
1
Star
0
Fork
You've already forked pkgsrc
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
7621ab06b2
pkgsrc
/
devel
/
frama-c
History
adam
63c018902c
Revbump after updating textproc/icu
2013-10-19 09:06:55 +00:00
..
DESCR
distinfo
Updated devel/frama-c to its latest version. Changes include:
2012-10-08 15:28:03 +00:00
Makefile
Revbump after updating textproc/icu
2013-10-19 09:06:55 +00:00
options.mk
Update to Frama-C Nitrogen release 2011-10-01
2011-12-25 15:52:12 +00:00
PLIST
Updated devel/frama-c to its latest version. Changes include:
2012-10-08 15:28:03 +00:00