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-2021Q1-base
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
Attic/ [Don't hide] | ||||
patches/ | ||||
PLIST | 1.6 | 6 years | dholland | Tag missed gui-only files. Ride update. |
options.mk | 1.4 | 6 years | dholland | Update to 20170501 (v15.x, "Phosphorus"). This reflects six major upstream relea... |
Makefile | 1.99 | 3 years | jaapb | Recursive revbump associated with update of lang/ocaml |
distinfo | 1.9 | 6 years | markd | frama-c: allow coq 8.7 |
DESCR | 1.1.1.1 | 14 years | tonio | import the frama-c source code analysis tool Frama-C is a suite of tools dedica... |