--- coq/README.fink~	2010-05-28 13:58:15.000000000 +0200
+++ coq/README.fink	2010-05-28 14:40:12.000000000 +0200
@@ -0,0 +1,4 @@
+This package was originally finkified by Roland Zumkeller
+(roland.zumkeller@polytechnique.fr); it was modified and submitted to the
+fink package submission tracker by Jesse Alama (alama@stanford.edu). It was
+continued from there by Bruno De Fraine (bruno@defraine.net).