# HG changeset patch # User wenzelm # Date 1611340323 -3600 # Node ID 16772cc234a91400f9cc31ec1384aecb1c6e1658 # Parent ab3fa0abc1195374c63e83029273586255bc6749 more robust etc/settings; diff -r ab3fa0abc119 -r 16772cc234a9 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Fri Jan 22 18:44:34 2021 +0100 +++ b/Admin/components/components.sha1 Fri Jan 22 19:32:03 2021 +0100 @@ -210,6 +210,7 @@ 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 26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz diff -r ab3fa0abc119 -r 16772cc234a9 Admin/components/main --- a/Admin/components/main Fri Jan 22 18:44:34 2021 +0100 +++ b/Admin/components/main Fri Jan 22 19:32:03 2021 +0100 @@ -11,7 +11,7 @@ jfreechart-1.5.1 jortho-1.0-2 kodkodi-1.5.6 -naproche-20210122 +naproche-20210122-1 nunchaku-0.5 opam-2.0.7 polyml-test-f86ae3dc1686