Compiling 1_ClientServer gives me error NU3037 on macOS

[varosi]

OS: macOS 13.0 x64

pc -proj:ClientServer.pproj
...

Compiling ClientServer...
Error:
Compiling generated C# code FAILED!
Microsoft (R) Build Engine version 16.8.3+39993bd9d for .NET
Copyright (C) Microsoft Corporation. All rights reserved.

  Determining projects to restore...
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'PCSharpRuntime 1.1.15' from source 'https://api.nuget.org/v3/index.json': The repository primary signature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The author primary signature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : error NU3037: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The author primary signature validity period has expired.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The repository countersignature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : error NU3037: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The repository countersignature validity period has expired.
  Failed to restore /Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj (in 3.77 sec).

Build FAILED.

/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'PCSharpRuntime 1.1.15' from source 'https://api.nuget.org/v3/index.json': The repository primary signature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The author primary signature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : warning NU3028: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The repository countersignature's timestamp found a chain building issue: ExplicitDistrust: The trust setting for this policy was set to Deny.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : error NU3037: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The author primary signature validity period has expired.
/Users/vasko/Projects/p/P/Tutorial/1_ClientServer/ClientServer.csproj : error NU3037: Package 'Microsoft.Coyote 1.0.5' from source 'https://api.nuget.org/v3/index.json': The repository countersignature validity period has expired.
    3 Warning(s)
    2 Error(s)

Time Elapsed 00:00:06.69

[ankushdesai]

Any updates on this?

[varosi]

If you need something to be tested by me, just write me what.

[ankushdesai]

I am not sure what I can ask you to test, P seems to work fine on MacOS that we have been using.
Can you make sure you have the right version of DotNet installed and dont have any other version defined as default.

[varosi]

I was following those steps: https://p-org.github.io/P/getstarted/install/

dotnet --list-sdks
3.1.424 [/usr/local/share/dotnet/sdk]
5.0.103 [/usr/local/share/dotnet/sdk]

3.1 was installed after 5.0.

I have also tried on another mac, where there is no 5.0 installed before that and all those steps went well. Except, that "where" command is not returning anything on both Macs.

[varosi]

I found a solution:

1. Update existing 5.0 dotnet with: brew install dotnet
2. Trust new certificates with: dotnet dev-certs https --trust
3. dotnet tool update --global P