AWS.Cryptography.EncryptionSDK requires DafnyRuntime = 4.9.0 but also requires dependencies that require DafnyRuntime >= 4.2.0 and <= 4.8.0

[bgi-jerry-king]

Notice the dependencies for AWS.Cryptography.EncryptionSDK below; DafnyRuntime 4.9.0 is required as well as AWS.Cryptography.MaterialProvider 1.7.6:

If you look into the required dependencies for AWS.Cryptography.MaterialProvider 1.7.6, it requires DafnyRuntime 4.2.0-4.8.0. This results in conflicts in versions, which results in build warnings (or errors, if set).

[jeremy-allocate]

Bueller?

[bgi-jerry-king]

@texastony @kessplas @ajewellamz

Can someone please look at this? It's very annoying and, at surface level, it seems like it wouldn't really be that difficult or time consuming to fix.