kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/frama-c
History
sbd ec681430da Recursive dependency bump for databases/gdbm ABI_DEPENDS change.
2012-01-24 09:10:50 +00:00
..
DESCR
distinfo Update to Frama-C Nitrogen release 2011-10-01 2011-12-25 15:52:12 +00:00
Makefile Recursive dependency bump for databases/gdbm ABI_DEPENDS change. 2012-01-24 09:10:50 +00:00
options.mk Update to Frama-C Nitrogen release 2011-10-01 2011-12-25 15:52:12 +00:00
PLIST Update to Frama-C Nitrogen release 2011-10-01 2011-12-25 15:52:12 +00:00