debian/5.02-1

Stefano Zacchiroli

@zack

7ac1612a · Merge commit 'upstream/5.02' · Nov 17, 2007

[svn-buildpackage] Tagging camlp5 (5.02-1)