Bug#431995: Source code for Eclipse Photran plugin

[Gilles Filippini <gilles.filippini@free.fr>]

On Mon, 28 Jan 2008 16:33:58 +0100, Michael Koch wrote:
> I have taken a short look at this and it seems they only provide
> binary builds. No source downloads. Can you please clear that with
> them first? Then we can package this.

Hello,

Source code for Photran is available from their CVS repository:
http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.photran/?root=Technology_Project
http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.photran/org.eclipse.photran-dev-docs/dev-guide/cvs-instructions.pdf?root=Technology_Project&view=co

Thanks,

_Gilles.