diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-01-31 22:23:48 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:54:53 +0100 |
| commit | 38008218aa42a2f5520e7de71589378c333727c4 (patch) | |
| tree | c485ac1dfcc2139d957e76b86e836054e59d46e7 /debian/coq.install.in | |
| parent | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (diff) | |
Camlp4 -> Camlp5 in package descriptions
Diffstat (limited to 'debian/coq.install.in')
0 files changed, 0 insertions, 0 deletions