kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/frama-c
History
markd f07374a97b frama-c: allow coq 8.7
2017-12-19 08:17:21 +00:00
..
patches frama-c: allow coq 8.7 2017-12-19 08:17:21 +00:00
DESCR
distinfo frama-c: allow coq 8.7 2017-12-19 08:17:21 +00:00
Makefile Revbump after textproc/icu update 2017-11-30 16:45:00 +00:00
options.mk Update to 20170501 (v15.x, "Phosphorus"). This reflects six major 2017-09-05 07:30:00 +00:00
PLIST Tag missed gui-only files. Ride update. 2017-09-05 07:41:35 +00:00