[rb-general] bootstrappable builds

[Holger Levsen]

Hi Ricardo,

On Fri, Dec 16, 2016 at 12:50:21AM +0100, Ricardo Wurmus wrote:
> Here’s a WIP preview of what will soon/eventually be available at
> https://bootstrappable.org (once the domain has been assigned and
> mapped). 

still pending… ;)

> Comments and patches are very welcome!

I've heard about http://compcert.inria.fr/compcert-C.html and
http://compcert.inria.fr/ yesterday and I believe it is related… 


-- 
cheers,
	Holger
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 811 bytes
Desc: Digital signature
URL: <http://lists.reproducible-builds.org/pipermail/rb-general/attachments/20161218/4aa36598/attachment.sig>