# HG changeset patch
# User wenzelm
# Date 1633198700 -7200
# Node ID 7fd8fb6149a6f4fcfc0e4c9805e3fef74a514eab
# Parent  b618749bb8f4147a1d6ef46ac5652cb913f6cfbf
isabelle build_components -u;

diff -r b618749bb8f4 -r 7fd8fb6149a6 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Oct 02 20:00:02 2021 +0200
+++ b/Admin/components/components.sha1	Sat Oct 02 20:18:20 2021 +0200
@@ -257,7 +257,6 @@
 ad5d0e640ce3609a885cecab645389a2204e03bb  macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316  macos_app-20181205.tar.gz
 3bc42b8e22f0be5ec5614f1914066164c83498f8  macos_app-20181208.tar.gz
-0fbc826e4fcb95bb9e1814642f7fce788e7fe1c3  naproche-20210122-1.tar.gz
 eda10c62da927a842c0a8881f726eac85e1cb4f7  naproche-20210122.tar.gz
 edcb517b7578db4eec1b6573b624f291776e11f6  naproche-20210124.tar.gz
 d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300  naproche-20210129.tar.gz