pkgsrc/devel/frama-c
2014-05-05 00:47:34 +00:00
..
patches Fix GNU make version comparison logic. 2013-11-15 14:10:29 +00:00
DESCR
distinfo Fix GNU make version comparison logic. 2013-11-15 14:10:29 +00:00
Makefile Recursive revbump from x11/pixman 2014-05-05 00:47:34 +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