# HG changeset patch # User wenzelm # Date 1612813676 -3600 # Node ID a88dbf2a020fbd4ebee247f56fcc56e851e1f928 # Parent 4e631963fe2420f3708313db0c2fa3a262da0d2e provide naproche-7d0947a91dd5; diff -r 4e631963fe24 -r a88dbf2a020f Admin/components/components.sha1 --- a/Admin/components/components.sha1 Sun Feb 07 22:19:39 2021 +0100 +++ b/Admin/components/components.sha1 Mon Feb 08 20:47:56 2021 +0100 @@ -221,6 +221,7 @@ edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz 810ee0f35adada9bf970c33fd80b986ab2255bf3 naproche-20210201.tar.gz +e1b34e8f54e7e5844873612635444fed434718a1 naproche-7d0947a91dd5.tar.gz 26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz