--- a/.hgtags Fri Feb 19 13:42:12 2021 +0100
+++ b/.hgtags Sat Feb 20 17:04:26 2021 +0100
@@ -44,3 +44,4 @@
2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6
+7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
--- a/Admin/components/components.sha1 Fri Feb 19 13:42:12 2021 +0100
+++ b/Admin/components/components.sha1 Sat Feb 20 17:04:26 2021 +0100
@@ -222,7 +222,9 @@
edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz
810ee0f35adada9bf970c33fd80b986ab2255bf3 naproche-20210201.tar.gz
+4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
+9c02ecf93863c3289002c5e5ac45a83e2505984c naproche-755224402e36.tar.gz
e1b34e8f54e7e5844873612635444fed434718a1 naproche-7d0947a91dd5.tar.gz
26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz
e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz