--- - branch: MAIN date: Fri Dec 23 01:25:08 UTC 2011 files: - new: '1.13' old: '1.12' path: pkgsrc/devel/frama-c/Makefile pathrev: pkgsrc/devel/frama-c/Makefile@1.13 type: modified id: 20111223T012508Z.6997e7e5e6ef3f5a5c0c389cf22da80ed88d9751 log: | Home page and master site moved to http://frama-c.com/ module: pkgsrc subject: 'CVS commit: pkgsrc/devel/frama-c' unixtime: '1324603508' user: asau