[Demexp-dev] Current status of demexp sources after savannah compromise

[David MENTRE]

Hello,

You probably know that the Savannah server that provide us with
development infrastructure has been compromised. I've checked the diff
provided by the savannah people and I think our sources have not been
compromised. Moreover, the use of unusual tools (noweb, OCaml) as well
as a low profile project (for now ;) let me think that we have a very
low probability to have an hiden trojan horse in our sources.

Anyway, I could only recommend you to read our sources and tell on the
mailing list anything that seems bizarre to you.

Yours,
d.
-- 
 David Mentré <address@hidden>
   http://www.linux-france.org/~dmentre/david-mentre-public-key.asc
 GnuPG key fingerprint: A7CD 7357 3EC4 1163 745B  7FD3 FB3E AD7C 2A18 BE9E