Paket thinks things have changed

Description

I upgraded a few libs in Logary, ‘paket update’ and then ‘paket install’ which got:

Performance:
 - Resolver: 11 seconds (1 runs)
    - Runtime: 1 second
    - Blocked (retrieving package details): 10 seconds (167 times)
    - Not Blocked (retrieving package details): 30 times
    - Not Blocked (retrieving package versions): 3 times
 - Disk IO: 208 milliseconds
 - Average Request Time: 82 milliseconds
 - Number of Requests: 183
 - Runtime: 22 seconds
$ $_
0

Then ./build.sh yields a lot of output like:

  Paket version 5.166.0
  paket.dependencies and paket.lock are out of sync in /Users/h/dev/logibit/logary.
  Please run 'paket install' or 'paket update' to recompute the paket.lock file.
  Changes were detected for Main/Expecto
      - SettingsChanged
  Changes were detected for Main/Expecto.FsCheck
      - SettingsChanged
  Changes were detected for Main/Expecto.Hopac
      - SettingsChanged

But running paket install does nothing.

I then ran paket update which is not what I want (because I don’t want to update any nugets), and this delta appeared in paket.lock:

diff --git a/paket.lock b/paket.lock
index 7673efe3..17d034a7 100644
--- a/paket.lock
+++ b/paket.lock
@@ -2122,12 +2122,12 @@ NUGET
       System.Runtime (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45)) (== netcoreapp2.0) (== netstandard2.0)
       System.Text.Encoding (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45)) (== netcoreapp2.0) (== netstandard2.0)
     System.Text.RegularExpressions (4.3) - restriction: || (&& (== net461) (< net451) (>= netstandard1.5)) (== netcoreapp2.0) (== netstandard2.0)
-      System.Collections (>= 4.3) - restriction: || (&& (== net461) (== netcoreapp2.0)) (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
-      System.Globalization (>= 4.3) - restriction: || (&& (== net461) (== netcoreapp2.0)) (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
-      System.Resources.ResourceManager (>= 4.3) - restriction: || (&& (== net461) (== netcoreapp2.0)) (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
+      System.Collections (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
+      System.Globalization (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
+      System.Resources.ResourceManager (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
       System.Runtime (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45)) (&& (== net461) (>= netcoreapp1.1)) (== netcoreapp2.0) (== netstandard2.0)
-      System.Runtime.Extensions (>= 4.3) - restriction: || (&& (== net461) (== netcoreapp2.0)) (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
-      System.Threading (>= 4.3) - restriction: || (&& (== net461) (== netcoreapp2.0)) (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
+      System.Runtime.Extensions (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
+      System.Threading (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== netcoreapp2.0) (>= dnxcore50)) (&& (== netcoreapp2.0) (< netcoreapp1.1)) (== netstandard2.0)
     System.Threading (4.3) - restriction: || (&& (== net461) (>= dnxcore50) (>= netstandard1.5)) (&& (== net461) (< net45) (>= netstandard1.6)) (&& (== net461) (< net451) (>= netstandard1.5)) (== netcoreapp2.0) (== netstandard2.0)
       System.Runtime (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45)) (== netcoreapp2.0) (== netstandard2.0)
       System.Threading.Tasks (>= 4.3) - restriction: || (&& (== net461) (>= dnxcore50)) (&& (== net461) (< net45)) (== netcoreapp2.0) (== netstandard2.0)

After letting paket have its way with the lockfile, paket still thinks something is amiss and output the warning while building, so it did not in fact solve anything.

These steps can be done on the parent commit of https://github.com/logary/logary/commit/d3ce90ede612cbe93e0e9aaf17f960c5db9e7700

Expected behavior

Following the output’s suggestion, paket install, should work.

Also, why paket keeps changing the set of system.* libraries and their constraints I have no idea of, since I haven’t changed my compile targets.

Actual behavior

A lot of frequent churn in System.* packages for no apparent reason.

Known workarounds

None

[forki]

Restore should behave fine now

[forki]

ok scratch that. need to investigate further