jimmy/ood-ports-lbsd

daniel 3c4bfcc3d7 import lang/compcert. ok sthen@		vor 9 Jahren
..
patches	3c4bfcc3d7 import lang/compcert. ok sthen@	vor 9 Jahren
pkg	3c4bfcc3d7 import lang/compcert. ok sthen@	vor 9 Jahren
Makefile	3c4bfcc3d7 import lang/compcert. ok sthen@	vor 9 Jahren
distinfo	3c4bfcc3d7 import lang/compcert. ok sthen@	vor 9 Jahren