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 |
---|---|---|---|---|
Parent Directory | ||||
Attic/ [Don't hide] | ||||
patches/ | ||||
DESCR | 1.1.1.1 | 14 years | tonio | import the frama-c source code analysis tool Frama-C is a suite of tools dedica... |
Makefile | 1.98 | 3 years | ryoon | *: Recursive revbump from textproc/icu-68.1 |
PLIST | 1.6 | 6 years | dholland | Tag missed gui-only files. Ride update. |
distinfo | 1.9 | 6 years | markd | frama-c: allow coq 8.7 |
options.mk | 1.4 | 6 years | dholland | Update to 20170501 (v15.x, "Phosphorus"). This reflects six major upstream relea... |