The NetBSD Project

pkgsrc/devel/frama-c/

Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.

Current directory: [cvs.NetBSD.org] / pkgsrc / devel / frama-c


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] Attic/  [Don't hide]        
[DIR] patches/        
[TXT] DESCR  1.1.1.1   14 years  tonio   import the frama-c source code analysis tool Frama-C is a suite of tools dedica...
[TXT] Makefile  1.115   3 months  wiz   *: recursive bump for cairo dependency changes
[TXT] PLIST  1.7   16 months  tonio   Update devel/frama-c to 25.0 - Kernel [2022-10-05] Support for ghost VLA a...
[TXT] distinfo  1.13   15 months  wiz   frama-c: fix unportable test(1) operator
[TXT] options.mk  1.5   16 months  tonio   Update devel/frama-c to 25.0 - Kernel [2022-10-05] Support for ghost VLA a...


CVSweb <webmaster@jp.NetBSD.org>