kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/frama-c
History
wiz bff4597ffc Bump PKGREVISION for gdbm shlib major bump
2018-01-28 20:10:34 +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 Bump PKGREVISION for gdbm shlib major bump 2018-01-28 20:10:34 +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