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

Current tag: pkgsrc-2020Q4


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.98   3 years  ryoon   *: Recursive revbump from textproc/icu-68.1
[TXT] PLIST  1.6   6 years  dholland   Tag missed gui-only files. Ride update.
[TXT] distinfo  1.9   6 years  markd   frama-c: allow coq 8.7
[TXT] options.mk  1.4   6 years  dholland   Update to 20170501 (v15.x, "Phosphorus"). This reflects six major upstream relea...


CVSweb <webmaster@jp.NetBSD.org>