diff -ruN coq-8.11.2-orig/README.fink coq-8.11.2/README.fink
--- coq-8.11.2-orig/README.fink	1969-12-31 18:00:00.000000000 -0600
+++ coq-8.11.2/README.fink	2021-09-25 08:01:35.000000000 -0500
@@ -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).