diff -r 293ede07b775 -r 21ebc2f5c571 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Apr 26 22:44:31 2016 +0200
+++ b/Admin/Release/CHECKLIST	Tue Apr 26 22:59:03 2016 +0200
@@ -69,10 +69,13 @@
 Packaging
 =========
 
-- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
+- fully-automated packaging:
 
   hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
 
+  Mac OS X: requires gnutar, avoid Mavericks (problems with hdiutil?)
+  Linux: avoid Debian (bitmap fonts for prog-prove)
+
 
 Final release stage
 ===================