StefanKarpinski/README.md

Created September 8, 2026 17:06

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/StefanKarpinski/dfbae71b76d19fc4a71af9eb8275098d.js"></script>
Save StefanKarpinski/dfbae71b76d19fc4a71af9eb8275098d to your computer and use it in GitHub Desktop.

Download ZIP

Resolver.jl PR #107 — the 115 realistic projects, reports before (main) and after (changed.md: side by side)

Raw

README.md

Resolver.jl PR #107 — realistic corpus, before and after

Reports for the 115 realistic projects (hub + a few direct deps with caret compat, transitive deps free; see the generator gist), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.

115 cases; 11 changed, 104 byte-identical.

case	before (lines)	after (lines)	changed
Bloqade+big10-partial	15	15
Bloqade+big20-partial	42	42
Bloqade+big20-upgrade	64	62	yes
Bloqade+bump-CairoMakie	15	15
Bloqade+bump-ForwardDiff	13	13
Bloqade+bump2-CairoMakie-ForwardDiff	13	13
Bloqade+manifest-bump-CairoMakie	17	17
Bloqade+upgrade-direct	13	13
CSV+big20-partial	13	13
CSV+big20-upgrade	32	32	yes
CSV+bump-Parsers	15	15
CSV+manifest-bump-Parsers	16	16
Catlab+big10-partial	13	13
Catlab+manifest-add-Turing	20	20
ClimaCore+manifest-add-Turing	17	17
Convex+add-Images	16	16
Convex+manifest-add-Images	17	17
DataFrames+big20-partial	15	15
DataFrames+manifest-add-CSV	15	15
DiffEqFlux+big10-upgrade	15	15
DynamicalSystems+big10-upgrade	17	17
DynamicalSystems+big20-upgrade	21	21
Franklin+big10-partial	12	12
Franklin+big10-upgrade	26	26	yes
Franklin+big20-partial	28	28	yes
Franklin+big20-upgrade	30	30
Franklin+upgrade-direct	26	26	yes
Gadfly+big10-partial	13	13
Gadfly+big20-partial	28	28
Gadfly+big20-upgrade	12	12
Gadfly+bump-DataStructures	13	13
Gen+add-Lux	15	15
Gen+add-ModelingToolkit	15	15
Gen+big10-partial	13	13
Gen+big20-partial	12	12
Gen+big20-upgrade	12	12
Gen+bump-ForwardDiff	13	13
Gen+bump2-ForwardDiff-JSON	12	12
Gen+manifest-add-Lux	17	17
Gen+manifest-add-ModelingToolkit	17	17
GeoStats+big20-partial	19	19
GeoStats+manifest-add-ModelingToolkit	18	18
GeometricFlux+add-Symbolics	14	14
GeometricFlux+big10-partial	13	13
GeometricFlux+big20-partial	11	11
GeometricFlux+big20-upgrade	14	14
GeometricFlux+bump-Flux	13	13
GeometricFlux+bump2-Flux-DataStructures	12	12
GeometricFlux+manifest-add-Symbolics	15	15
ITensors+big20-partial	13	13
Images+big20-partial	15	15
Images+big20-upgrade	15	15
Knet+big10-partial	15	15
Knet+big10-upgrade	15	15
Knet+big20-partial	64	52	yes
Knet+big20-upgrade	15	15
Knet+bump-CUDA	13	13
Knet+bump-JLD2	15	15
Knet+bump-NNlib	16	16
Knet+bump2-CUDA-JLD2	30	32	yes
Knet+bump2-CUDA-NNlib	15	15
Knet+bump2-NNlib-JLD2	32	32	yes
Knet+manifest-bump-CUDA	14	14
Knet+manifest-bump-JLD2	15	15
Knet+manifest-bump-NNlib	15	15
Knet+upgrade-direct	15	15
Metatheory+big10-partial	13	13
Metatheory+big10-upgrade	12	12
Metatheory+bump-DataStructures	13	13
Metatheory+bump-TermInterface	15	15
Metatheory+bump-TimerOutputs	15	15
Metatheory+bump2-DataStructures-TermInterface	13	13
Metatheory+bump2-TimerOutputs-TermInterface	15	15
Metatheory+manifest-bump-TermInterface	15	15
Metatheory+manifest-bump-TimerOutputs	15	15
Metatheory+upgrade-direct	11	11
ModelingToolkit+big20-upgrade	16	16
Molly+big20-partial	15	15
Molly+big20-upgrade	17	17
Oceananigans+big10-partial	18	18
Oceananigans+big20-partial	19	19
POMDPs+manifest-add-Images	18	18
Pluto+big10-partial	13	13
Pluto+big10-upgrade	11	11
Pluto+big20-upgrade	27	27	yes
Rasters+big20-partial	12	12
Rasters+manifest-add-Turing	18	18
Soss+add-OrdinaryDiffEq	15	15
Soss+big10-partial	15	15
Soss+big20-partial	13	13
Soss+big20-upgrade	14	14
Soss+bump-DataStructures	13	13
Soss+bump2-StatsBase-DataStructures	13	13
Soss+manifest-add-OrdinaryDiffEq	16	16
Soss+manifest-bump-DataStructures	14	14
Symbolics+big20-upgrade	18	18
Symbolics+manifest-add-Images	19	19
Transformers+big10-partial	17	17
Transformers+big20-partial	16	16
Transformers+big20-upgrade	12	12
Transformers+bump-Flux	13	13
Transformers+bump-HTTP	14	14
Transformers+bump-Zygote	16	16
Transformers+bump2-Flux-HTTP	27	27	yes
Transformers+bump2-Zygote-Flux	14	14
Transformers+bump2-Zygote-HTTP	31	31	yes
Transformers+manifest-bump-Flux	13	13
Transformers+manifest-bump-HTTP	13	13
Transformers+manifest-bump-Zygote	22	22
Transformers+upgrade-direct	14	14
Turing+big20-partial	21	21
VoronoiFVM+big20-partial	18	18
Yao+manifest-add-ModelingToolkit	18	18
Yao+manifest-add-Turing	18	18
Zygote+manifest-add-Images	18	18

Files: changed.md shows every changed case, before then after; before.md and after.md are the whole corpus.

Raw

after.md

Resolver.jl PR #107 — realistic corpus, before and after — after

Bloqade+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires JSON 0.21.0–0.21.4 (through BloqadeExpr,
    OMEinsumContractionOrders, Yao, YaoSubspaceArrayReg, OMEinsum, YaoBlocks
    and YaoToEinsum)
  • your compat leaves JSON 1.8.0
  The only minimal fix: relax your compat on JSON
    → allows: Bloqade 0.2.5, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement JSON does not help.
    • dropping requirement Bloqade would not help unless you also dropped
      requirement BloqadeODE.

Bloqade+big20-partial

Unsatisfiable — 3 conflicts, each of which must be fixed:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: relax your compat on ForwardDiff
    → allows: Bloqade 0.2.5, ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  The only minimal fix: relax your compat on Interpolations
    → allows: Bloqade 0.2.5, Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

Conflict 3: Bloqade and JSON
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires JSON 0.21.0–0.21.4 (through BloqadeExpr,
    OMEinsumContractionOrders, Yao, YaoSubspaceArrayReg, OMEinsum, YaoBlocks
    and YaoToEinsum)
  • your compat leaves JSON 1.8.0
  The only minimal fix: relax your compat on JSON
    → allows: Bloqade 0.2.5, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement JSON does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

There may be more to say about some of these.

Bloqade+big20-upgrade

Unsatisfiable — 5 conflicts:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: relax your compat on ForwardDiff
    → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  One fix: relax your compat on Interpolations
    → allows: Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.

Conflict 3: Bloqade and OrderedCollections
  • Bloqade requires OrderedCollections 1.3.0–1.8.2 (through BloqadeKrylov and
    Configurations)
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.

Conflict 4: Bloqade and DataStructures
  • Bloqade requires DataStructures 0.18.0–0.18.22 (through BloqadeODE and
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Bloqade
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Conflict 5: BloqadeODE
  • BloqadeODE requires DataStructures 0.18.0–0.18.22 (through
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement BloqadeODE
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on BloqadeODE does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Or, without relaxing your compat on Interpolations or relaxing your compat on
OrderedCollections:
  drop requirement BloqadeKrylov and drop requirement BloqadeWaveforms
  → allows: Interpolations 0.16.3, OrderedCollections 2.0.1

There may be more to say about some of these.

Bloqade+bump-CairoMakie

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires CairoMakie ≤0.12.18
  • your compat leaves CairoMakie 0.15.14
  Fix it by any one of:
    1. relax your compat on Bloqade
       → allows: Bloqade 0.2.3, CairoMakie 0.15.14
    2. relax your compat on CairoMakie
       → allows: Bloqade 0.2.5, CairoMakie 0.12.18
    3. drop requirement Bloqade
       → allows: CairoMakie 0.15.14
  Blocked fixes:
    • dropping requirement CairoMakie does not help.

Bloqade+bump-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  Fix it by any one of:
    1. relax your compat on ForwardDiff
       → allows: Bloqade 0.2.5, ForwardDiff 0.10.39
    2. drop requirement Bloqade
       → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Bloqade+bump2-CairoMakie-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Bloqade
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on ForwardDiff.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on CairoMakie.

Bloqade+manifest-bump-CairoMakie

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires CairoMakie ≤0.12.18
  • your compat leaves CairoMakie 0.15.14
  Fix it by any one of:
    1. relax your compat on CairoMakie
       → allows: Bloqade 0.2.5, CairoMakie 0.12.18
    2. drop requirement Bloqade
       → allows: CairoMakie 0.15.14
  Blocked fixes:
    • dropping requirement CairoMakie does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on Colors.

There may be more to say about some of these.

Bloqade+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Bloqade
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on ForwardDiff and relaxed your compat on Yao.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on CairoMakie and relaxed your compat on Yao.

CSV+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  The only minimal fix: relax your compat on Parsers
    → allows: CSV 0.10.17, Parsers 2.8.8
  Blocked fixes:
    • relaxing your compat on CSV does not help.
    • dropping requirement Parsers does not help.
    • dropping requirement CSV would not help unless you also dropped
      requirement WeakRefStrings.

CSV+big20-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: WeakRefStrings
  • your compat leaves WeakRefStrings 1.4.3
  • WeakRefStrings 1.4.3 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on WeakRefStrings
       → allows: InlineStrings 2.0.1, WeakRefStrings 0.6.2
    2. drop requirement WeakRefStrings
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Conflict 2: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  One fix: drop requirement CSV
    → allows: InlineStrings 2.0.1
  Blocked fixes:
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Parsers and relaxed your compat on WeakRefStrings.
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on InlineStrings and relax your compat on Parsers
  → allows: CSV 0.10.17, InlineStrings 1.4.6, WeakRefStrings 1.4.3

CSV+bump-Parsers

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on CSV
       → allows: CSV 0.3.1, Parsers 3.0.0
    2. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    3. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • dropping requirement Parsers does not help.

CSV+manifest-bump-Parsers

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    2. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • dropping requirement Parsers does not help.
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Compat, relaxed your compat on TranscodingStreams and relaxed
      your compat on WeakRefStrings.

Catlab+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Catlab
  • Catlab requires JSON ≤0.21.4 (through Compose and GATlab)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Catlab 0.17.6, JSON 0.21.4
    2. drop requirement Catlab
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Catlab does not help.
    • dropping requirement JSON does not help.

Catlab+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Turing together require
    OrderedCollections ≤2.0.0 (through AbstractPPL, FlexiChains, MCMCChain and
    MCMCChains)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, OrderedCollections 1.8.2, Turing
         0.48.0
    2. drop requirement Turing
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Turing does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

ClimaCore+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves Adapt 4.7.0
  • Adapt 4.7.0 or absent and Turing together require OrderedCollections
    ≤2.0.0 (through AbstractPPL, DataStructures, Distributions, FlexiChains,
    Flux and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Turing
    → allows: Adapt 4.7.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on LogExpFunctions.

There may be more to say about some of these.

Convex+add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on Images would not help unless you also relaxed
      your compat on Convex and dropped requirement MathOptInterface.

Convex+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on Images would not help unless you also relaxed
      your compat on SpecialFunctions, dropped requirement Convex and dropped
      requirement MathOptInterface.

DataFrames+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: DataFrames
  • your compat leaves DataFrames 1.8.2
  • DataFrames 1.8.2 requires InlineStrings 1.3.0–1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on InlineStrings
       → allows: DataFrames 1.8.2, InlineStrings 1.4.6
    2. drop requirement DataFrames
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings does not help.
    • relaxing your compat on DataFrames would not help unless you also
      relaxed your compat on PrettyTables.

DataFrames+manifest-add-CSV

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    2. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • relaxing your compat on CSV does not help.

Costlier fixes also exist.

DiffEqFlux+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DiffEqFlux
  • your compat leaves DiffEqFlux 4.10.2
  • DiffEqFlux 4.10.2 requires Distributions ≤0.25.126
  • your compat leaves Distributions 0.25.131
  Fix it by any one of:
    1. relax your compat on DiffEqFlux
       → allows: DiffEqFlux 4.8.0, Distributions 0.25.131
    2. relax your compat on Distributions
       → allows: DiffEqFlux 4.10.2, Distributions 0.25.126
    3. drop requirement DiffEqFlux
       → allows: Distributions 0.25.131
  Blocked fixes:
    • dropping requirement Distributions does not help.

DynamicalSystems+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DynamicalSystems
  • your compat leaves DynamicalSystems 3.7.0
  • DynamicalSystems 3.7.0 requires Distributions ≤0.25.130 (through
    Attractors)
  • your compat leaves Distributions 0.25.131
  Fix it by any one of:
    1. relax your compat on Distributions
       → allows: Distributions 0.25.127, DynamicalSystems 3.7.0
    2. drop requirement DynamicalSystems
       → allows: Distributions 0.25.131
  Blocked fixes:
    • relaxing your compat on DynamicalSystems does not help.
    • dropping requirement Distributions does not help.

Costlier fixes also exist.

DynamicalSystems+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DynamicalSystems
  • your compat leaves DataStructures 0.19.6
  • your compat leaves Distributions 0.25.131
  • incompatible constraints on ChaosTools:
      — ChaosTools ≤1.8.0 requires DataStructures ≤0.19.5 (through StatsBase)
      — ChaosTools ≥1.6.0 requires Distributions ≤0.25.130 (through Roots)
      — DynamicalSystems requires ChaosTools
  Fix it by any one of:
    1. relax your compat on Distributions
       → allows: ChaosTools 3.5.4, DataStructures 0.19.6, Distributions
         0.25.127, DynamicalSystems 3.7.0
    2. drop requirement DynamicalSystems
       → allows: DataStructures 0.19.6, Distributions 0.25.131
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on DynamicalSystems does not help.
    • dropping requirement Distributions does not help.

Costlier fixes also exist.

Franklin+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: relax your compat on HTTP
    → allows: Franklin 0.10.97, HTTP 1.11.0
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.
    • dropping requirement Franklin would not help unless you also relaxed
      your compat on FranklinTemplates.

Franklin+big10-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on OrderedCollections
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Franklin+big20-partial

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on MIMEs
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Costlier fixes also exist.

Franklin+big20-upgrade

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on LiveServer, relaxed your compat on MIMEs and relaxed your
      compat on OrderedCollections.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Franklin would not help unless you also relaxed
      your compat on FranklinTemplates, relaxed your compat on HTTP, relaxed
      your compat on LiveServer and relaxed your compat on OrderedCollections.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on LiveServer, relaxed your compat on MIMEs and relaxed your
      compat on OrderedCollections.

Franklin+upgrade-direct

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on LiveServer
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Gadfly+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires JSON ≤0.21.4 (through Compose)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gadfly 1.4.1, JSON 0.21.4
    2. drop requirement Gadfly
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement JSON does not help.

Gadfly+big20-partial

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: DataStructures
  • your compat leaves DataStructures 0.18.22
  • DataStructures 0.18.22 requires OrderedCollections 1.1.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.12.0, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: DataStructures 0.18.22, OrderedCollections 1.8.2
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • dropping requirement DataStructures would not help unless you also
      dropped requirement Distributions, dropped requirement Gadfly and
      dropped requirement StatsBase.

Conflict 2: Gadfly
  • Gadfly requires JSON ≤0.21.4 (through Compose)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gadfly 1.4.1, JSON 0.21.4
    2. drop requirement Gadfly
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement JSON does not help.

Gadfly+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires DataStructures ≤0.18.22 (through Compose)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Gadfly
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on JSON.

Gadfly+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires DataStructures ≤0.18.22 (through Compose)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Gadfly 1.4.1
    2. drop requirement Gadfly
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement DataStructures does not help.

Gen+add-Lux

Unsatisfiable — 1 conflict:

Conflict 1: Lux
  • your compat leaves Lux 1.31.4
  • Lux 1.31.4 requires ForwardDiff ≥1.0.0
  • your compat leaves ForwardDiff 0.10.39
  Fix it by any one of:
    1. relax your compat on Lux
       → allows: ForwardDiff 0.10.39, Lux 1.31.2
    2. drop requirement Lux
       → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      dropped requirement Gen.

Gen+add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires ForwardDiff ≥1.0.1
  • your compat leaves ForwardDiff 0.10.39
  Fix it by any one of:
    1. relax your compat on ModelingToolkit
       → allows: ForwardDiff 0.10.39, ModelingToolkit 10.32.1
    2. drop requirement ModelingToolkit
       → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      dropped requirement Gen.

Gen+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires JSON 0.20.0–0.21.4
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gen 0.4.8, JSON 0.21.4
    2. drop requirement Gen
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement JSON does not help.

Gen+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Gen
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on JSON and relaxed your compat on Parameters.

Gen+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires DataStructures 0.15.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Gen
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Gen does not help.

Costlier fixes also exist.

Gen+bump-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  Fix it by any one of:
    1. relax your compat on ForwardDiff
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

Gen+bump2-ForwardDiff-JSON

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Gen
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on JSON.

Gen+manifest-add-Lux

Unsatisfiable — 1 conflict:

Conflict 1: Gen and Lux
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • ForwardDiff 0.10.10–0.10.39 constrains Lux ≤1.31.3
  • your compat leaves Lux 1.31.4
  Fix it by any one of:
    1. relax your compat on Lux
       → allows: ForwardDiff 0.10.39, Gen 0.4.8, Lux 1.31.2
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5, Lux 1.31.4
    3. drop requirement Lux
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

Gen+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: Gen and ModelingToolkit
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • ForwardDiff 0.10.10–0.10.39 constrains ModelingToolkit ≤11.40.0
  • your compat leaves ModelingToolkit 11.41.0
  Fix it by any one of:
    1. relax your compat on ModelingToolkit
       → allows: ForwardDiff 0.10.39, Gen 0.4.8, ModelingToolkit 10.32.1
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5, ModelingToolkit 11.41.0
    3. drop requirement ModelingToolkit
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

GeoStats+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeoStats
  • your compat leaves GeoStats 0.90.0
  • GeoStats 0.90.0 requires HTTP ≤1.11.0 (through CoordGridTransforms and
    DataDeps)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: GeoStats 0.90.0, HTTP 1.11.0
    2. drop requirement GeoStats
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on GeoStats does not help.
    • dropping requirement HTTP does not help.

Costlier fixes also exist.

There may be more to say about some of these.

GeoStats+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires Combinatorics 1.0.2 (through
    SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, ModelingToolkit 11.41.0
    2. drop requirement ModelingToolkit
       → allows: Combinatorics 1.1.0
  Blocked fixes:
    • relaxing your compat on ModelingToolkit would not help unless you also
      relaxed your compat on Gamma, relaxed your compat on LogExpFunctions and
      relaxed your compat on OrderedCollections.

There may be more to say about some of these.

GeometricFlux+add-Symbolics

Unsatisfiable — 1 conflict:

Conflict 1: Symbolics
  • your compat leaves Symbolics 7.39.0
  • Symbolics 7.39.0 requires DataStructures ≤0.18.21, ≥0.19.0
  • your compat leaves DataStructures 0.18.22
  Fix it by any one of:
    1. relax your compat on Symbolics
       → allows: DataStructures 0.18.22, Symbolics 6.58.0
    2. drop requirement Symbolics
       → allows: DataStructures 0.18.22
  Blocked fixes:
    • relaxing your compat on DataStructures would not help unless you also
      dropped requirement GeometricFlux.

GeometricFlux+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, GeometricFlux 0.14.0
    2. drop requirement GeometricFlux
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement DataStructures does not help.

GeometricFlux+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on OrderedCollections.

GeometricFlux+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Graphs, relaxed your compat on HTTP and relaxed
      your compat on OrderedCollections.

There may be more to say about some of these.

GeometricFlux+bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.14.25, GeometricFlux 0.14.0
    2. drop requirement GeometricFlux
       → allows: Flux 0.16.11
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement Flux does not help.

GeometricFlux+bump2-Flux-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Flux.

GeometricFlux+manifest-add-Symbolics

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux and Symbolics
  • GeometricFlux constrains Symbolics ≤7.38.0 (through DataStructures and
    LightGraphs)
  • your compat leaves Symbolics 7.39.0
  Fix it by any one of:
    1. relax your compat on Symbolics
       → allows: GeometricFlux 0.14.0, Symbolics 6.58.0
    2. drop requirement GeometricFlux
       → allows: Symbolics 7.39.0
    3. drop requirement Symbolics
       → allows: GeometricFlux 0.14.0
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.

ITensors+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: ITensors
  • ITensors requires TimerOutputs 0.5.5–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on TimerOutputs
       → allows: ITensors 0.9.30, TimerOutputs 0.5.29
    2. drop requirement ITensors
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • relaxing your compat on ITensors does not help.
    • dropping requirement TimerOutputs does not help.

Images+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections 1.1.0–1.8.2 (through ImageContrastAdjustment,
    ImageFiltering, Parameters and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: relax your compat on OrderedCollections
    → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement Images would not help unless you also dropped
      requirement Parameters.

Images+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Images
    → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on Parameters.

Knet+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.1.3, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • dropping requirement JLD2 would not help unless you also dropped
      requirement Knet.

Knet+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.1.3, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions.

Knet+big20-partial

Unsatisfiable — 3 conflicts:

Conflict 1: CUDA
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 requires Adapt ≥4.4.0 (through CUDACore)
  • your compat leaves Adapt 3.7.2
  Fix it by any one of:
    1. relax your compat on Adapt
       → allows: Adapt 4.7.0, CUDA 6.3.1
    2. relax your compat on CUDA
       → allows: Adapt 3.7.2, CUDA 5.1.2
    3. drop requirement CUDA
       → allows: Adapt 3.7.2
  Blocked fixes:
    • dropping requirement Adapt does not help.

Conflict 2: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.6.6, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
    3. drop requirement JLD2
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.

Conflict 3: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions, dropped requirement CUDA and dropped
      requirement JLD2.

Or, without dropping requirement Knet:
  • relax your compat on CUDA and relax your compat on Colors
    → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.1.3, Knet 1.4.10,
      OrderedCollections 2.0.1
  • relax your compat on JLD2, or relax your compat on OrderedCollections
    → relaxing your compat on JLD2 allows: Adapt 3.7.2, CUDA 3.13.1, JLD2
      0.1.3, Knet 1.4.10, OrderedCollections 2.0.1
    → relaxing your compat on OrderedCollections allows: Adapt 3.7.2, CUDA
      3.13.1, JLD2 0.4.55, Knet 1.4.10, OrderedCollections 1.8.2

There may be more to say about some of these.

Knet+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires Adapt 2.2.0–3.7.2 (through CUDA)
  • your compat leaves Adapt 4.7.0
  The only minimal fix: drop requirement Knet
    → allows: Adapt 4.7.0
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • dropping requirement Adapt does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions and dropped requirement CUDA.

There may be more to say about some of these.

Knet+bump-CUDA

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: relax your compat on CUDA
    → allows: CUDA 3.13.1, Knet 1.4.10
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement CUDA would only
      help if you do both.
    • dropping requirement Knet would not help unless you also relaxed your
      compat on NNlib.

Knet+bump-JLD2

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.4.55, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA.

Knet+bump-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires NNlib ≤0.9.39 (through Adapt, BFloat16s, CUDA and
    GPUArraysCore)
  • your compat leaves NNlib 0.9.45
  The only minimal fix: relax your compat on NNlib
    → allows: Knet 1.4.10, NNlib 0.8.21
  Blocked fixes:
    • dropping requirement Knet would not help unless you also relaxed your
      compat on CUDA.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.
    • dropping requirement NNlib would not help unless you also dropped
      requirement Knet.

Knet+bump2-CUDA-JLD2

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 constrains NNlib ≤0.8.20, ≥0.9.0 (through Adapt and cuBLAS)
  • your compat leaves NNlib 0.8.21
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 5.1.2, NNlib 0.8.21
    2. relax your compat on NNlib
       → allows: CUDA 6.3.1, NNlib 0.9.45
    3. drop requirement CUDA
       → allows: NNlib 0.8.21
    4. drop requirement NNlib
       → allows: CUDA 6.3.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 5.1.2

Or, without dropping requirement Knet:
  • relax your compat on CUDA and relax your compat on JLD2; or relax your
    compat on Knet and drop requirement CUDA
    → relaxing your compat on CUDA and relaxing your compat on JLD2 allows:
      CUDA 3.13.1, Knet 1.4.10, NNlib 0.8.21
    → relaxing your compat on Knet and dropping requirement CUDA allows: Knet
      1.0.0, NNlib 0.8.21

Costlier fixes also exist.

Knet+bump2-CUDA-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on CUDA would not help unless you also relaxed your
      compat on NNlib.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on NNlib and dropped requirement CUDA.
    • dropping requirement CUDA would not help unless you also relaxed your
      compat on Knet and dropped requirement NNlib.

Knet+bump2-NNlib-JLD2

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 3.13.1
  • CUDA 3.13.1 requires BFloat16s 0.2.0
  • BFloat16s 0.2.0 constrains NNlib ≤0.9.44
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: BFloat16s 0.6.1, CUDA 6.3.1, NNlib 0.9.45
    2. relax your compat on NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1, NNlib 0.8.21
    3. drop requirement CUDA
       → allows: BFloat16s 0.6.1, NNlib 0.9.45
    4. drop requirement NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  One fix: drop requirement Knet
    → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.

Or, without dropping requirement Knet:
  relax your compat on JLD2 and relax your compat on NNlib
  → allows: BFloat16s 0.2.0, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10, NNlib
    0.8.21

Knet+manifest-bump-CUDA

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 3.13.1, Knet 1.4.10
    2. drop requirement Knet
       → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement CUDA would only
      help if you do both and also relaxed your compat on SpecialFunctions.

Knet+manifest-bump-JLD2

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.4.55, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions and dropped requirement CUDA.

Knet+manifest-bump-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires NNlib ≤0.9.44 (through BFloat16s and CUDA)
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on NNlib
       → allows: Knet 1.4.10, NNlib 0.8.21
    2. drop requirement Knet
       → allows: NNlib 0.9.45
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement NNlib would only
      help if you do both and also relaxed your compat on SpecialFunctions and
      dropped requirement CUDA.

Knet+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on CUDA would not help unless you also relaxed your
      compat on JLD2 and relaxed your compat on NNlib.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on CUDA and relaxed your compat on NNlib.
    • dropping requirement CUDA would not help unless you also relaxed your
      compat on Knet and dropped requirement NNlib.

Metatheory+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on Metatheory would not help unless you also
      relaxed your compat on DataStructures.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on TimerOutputs.

Metatheory+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures or relaxing your compat on
      Metatheory would only help if you do both and also relaxed your compat
      on OrderedCollections.

Metatheory+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Metatheory 2.0.2
    2. drop requirement Metatheory
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Metatheory does not help.
    • dropping requirement DataStructures does not help.

Metatheory+bump-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TermInterface 2.0.0
    2. relax your compat on TermInterface
       → allows: Metatheory 2.0.2, TermInterface 0.3.3
    3. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.

Metatheory+bump-TimerOutputs

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TimerOutputs 0.5.0–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TimerOutputs 1.2.1
    2. relax your compat on TimerOutputs
       → allows: Metatheory 2.0.2, TimerOutputs 0.5.29
    3. drop requirement Metatheory
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

Metatheory+bump2-DataStructures-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on Metatheory would not help unless you also
      relaxed your compat on DataStructures.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on TermInterface.

Metatheory+bump2-TimerOutputs-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TermInterface 2.0.0
    2. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.
    • relaxing your compat on TermInterface would not help unless you also
      relaxed your compat on TimerOutputs.

Metatheory+manifest-bump-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.1.1, TermInterface 2.0.0
    2. relax your compat on TermInterface
       → allows: Metatheory 2.0.2, TermInterface 0.3.3
    3. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.

Metatheory+manifest-bump-TimerOutputs

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TimerOutputs 0.5.0–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.1.1, TimerOutputs 1.2.1
    2. relax your compat on TimerOutputs
       → allows: Metatheory 2.0.2, TimerOutputs 0.5.29
    3. drop requirement Metatheory
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

Metatheory+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures or relaxing your compat on
      Metatheory would only help if you do both.

ModelingToolkit+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkitBase
  • ModelingToolkitBase requires Combinatorics 1.0.0–1.0.2 (through
    SymbolicUtils, Symbolics and SymbolicLimits)
  • your compat leaves Combinatorics 1.1.0
  The only minimal fix: relax your compat on Combinatorics
    → allows: Combinatorics 1.0.2, ModelingToolkitBase 1.68.2
  Blocked fixes:
    • relaxing your compat on ModelingToolkitBase does not help.
    • dropping requirement Combinatorics does not help.
    • dropping requirement ModelingToolkitBase would not help unless you also
      dropped requirement ModelingToolkit and dropped requirement
      ModelingToolkitTearing.

There may be more to say about some of these.

Molly+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Molly
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Molly together require
    OrderedCollections 1.1.0–1.8.2 (through BioStructures, CellListMap,
    Distributions, JLD2, LightGraphs, Parameters, QuadGK and MetaGraphs)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: relax your compat on OrderedCollections
    → allows: DataStructures 0.19.6, Molly 0.23.3, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Molly does not help.
    • dropping requirement Molly would not help unless you also relaxed your
      compat on Parameters.

Molly+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Molly
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Molly together require
    OrderedCollections ≤2.0.0 (through BioStructures, CellListMap, JLD2,
    LightGraphs, Parameters and MetaGraphs)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Molly
    → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Molly and dropped requirement Graphs.
    • relaxing your compat on Molly would not help unless you also relaxed
      your compat on OrderedCollections.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on Parameters.

Oceananigans+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Oceananigans
  • your compat leaves FFTW 1.10.0
  • FFTW 1.10.0 or absent and Oceananigans together require OrderedCollections
    ≤2.0.0 (through AbstractFFTs)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: FFTW 1.10.0, Oceananigans 0.111.0, OrderedCollections 1.8.2
    2. drop requirement Oceananigans
       → allows: FFTW 1.10.0, OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement FFTW does not help.
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on FFTW or relaxing your compat on Oceananigans
      would only help if you do both and also relaxed your compat on Reexport
      and relaxed your compat on StaticArrays.

Oceananigans+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Oceananigans
  • your compat leaves FFTW 1.10.0
  • FFTW 1.10.0 or absent and Oceananigans together require OrderedCollections
    ≤2.0.0 (through AbstractFFTs)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: FFTW 1.10.0, Oceananigans 0.111.0, OrderedCollections 1.8.2
    2. drop requirement Oceananigans
       → allows: FFTW 1.10.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on FFTW does not help.
    • relaxing your compat on Oceananigans does not help.
    • dropping requirement FFTW does not help.
    • dropping requirement OrderedCollections does not help.

Costlier fixes also exist.

POMDPs+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections
         1.8.2
    2. drop requirement Images
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.

Costlier fixes also exist.

Pluto+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Pluto does not help.
    • dropping requirement HTTP does not help.

Pluto+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Pluto
    → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP or relaxing your compat on Pluto would only
      help if you do both.

Pluto+big20-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Pluto would not help unless you also relaxed
      your compat on HTTP and dropped requirement Configurations.

Conflict 2: Configurations
  • Configurations requires OrderedCollections 1.3.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: Configurations 0.17.6, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Configurations does not help.
    • dropping requirement OrderedCollections does not help.

Or, without relaxing your compat on OrderedCollections:
  drop requirement Configurations and drop requirement Pluto
  → allows: HTTP 2.6.7, OrderedCollections 2.0.1

Rasters+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: ColorTypes
  • ColorTypes requires FixedPointNumbers ≤0.8.6
  • your compat leaves FixedPointNumbers 0.9.1
  The only minimal fix: relax your compat on FixedPointNumbers
    → allows: ColorTypes 0.12.1, FixedPointNumbers 0.8.6
  Blocked fixes:
    • relaxing your compat on ColorTypes does not help.
    • dropping requirement FixedPointNumbers does not help.
    • dropping requirement ColorTypes would not help unless you also dropped
      requirement Rasters.

Rasters+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves Adapt 4.7.0
  • Adapt 4.7.0 or absent and Turing together require OrderedCollections
    ≤2.0.0 (through AbstractPPL, DataStructures, Distributions, FlexiChains,
    Flux and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Adapt 4.7.0, OrderedCollections 1.8.2, Turing 0.48.0
    2. drop requirement Turing
       → allows: Adapt 4.7.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.

Costlier fixes also exist.

Soss+add-OrdinaryDiffEq

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEq and Soss
  • Soss constrains OrdinaryDiffEq ≤7.8.0 (through ArrayInterface,
    OrdinaryDiffEqBDF and OrdinaryDiffEqNonlinearSolve)
  • your compat leaves OrdinaryDiffEq 7.8.1
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEq
       → allows: OrdinaryDiffEq 6.25.0, Soss 0.21.2
    2. drop requirement OrdinaryDiffEq
       → allows: Soss 0.21.2
    3. drop requirement Soss
       → allows: OrdinaryDiffEq 7.8.1
  Blocked fixes:
    • relaxing your compat on Soss does not help.

Soss+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires StatsBase 0.29.0–0.30.0, 0.32.0–0.33.22 (through
    Distributions, MCMCDiagnostics, SampleChains, SimpleGraphs and
    SimpleRandom)
  • your compat leaves StatsBase 0.34.13
  Fix it by any one of:
    1. relax your compat on StatsBase
       → allows: Soss 0.21.2, StatsBase 0.33.22
    2. drop requirement Soss
       → allows: StatsBase 0.34.13
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement StatsBase does not help.

Soss+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires ForwardDiff ≤0.10.39 (through MeasureTheory and
    TransformVariables)
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Soss
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on Parameters and relaxed your compat on StatsBase.

Soss+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Soss
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

Soss+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: relax your compat on DataStructures
    → allows: DataStructures 0.18.22, Soss 0.21.2
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement Soss would not help unless you also relaxed your
      compat on StatsBase.

Soss+bump2-StatsBase-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Soss
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on StatsBase.

Soss+manifest-add-OrdinaryDiffEq

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEq and Soss
  • Soss constrains OrdinaryDiffEq ≤7.8.0 (through ArrayInterface, DiffEqBase,
    Distributions, SimpleGraphs, OrdinaryDiffEqNonlinearSolve,
    OrdinaryDiffEqSDIRK and SimpleRandom)
  • your compat leaves OrdinaryDiffEq 7.8.1
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEq
       → allows: OrdinaryDiffEq 6.25.0, Soss 0.21.2
    2. drop requirement OrdinaryDiffEq
       → allows: Soss 0.21.2
    3. drop requirement Soss
       → allows: OrdinaryDiffEq 7.8.1
  Blocked fixes:
    • relaxing your compat on Soss does not help.

Soss+manifest-bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Soss 0.21.2
    2. drop requirement Soss
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.

Symbolics+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Symbolics
  • your compat leaves RecursiveArrayTools 4.5.1
  • RecursiveArrayTools 4.5.1 or absent and Symbolics together require
    Combinatorics 1.0.0–1.0.2 (through NaNMath, SciMLBase and SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, RecursiveArrayTools 4.5.1, Symbolics
         7.39.0
    2. drop requirement Symbolics
       → allows: Combinatorics 1.1.0, RecursiveArrayTools 4.5.1
  Blocked fixes:
    • dropping requirement Combinatorics does not help.
    • dropping requirement RecursiveArrayTools does not help.
    • relaxing your compat on RecursiveArrayTools or relaxing your compat on
      Symbolics would only help if you do both.

Symbolics+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections
         1.8.2
    2. drop requirement Images
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

Transformers+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Transformers together require Reexport
    0.2.0 (through DataDeps)
  • your compat leaves Reexport 1.2.2
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Reexport 1.2.2, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: DataStructures 0.19.6, Reexport 1.2.2
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • dropping requirement Reexport does not help.
    • relaxing your compat on Reexport or relaxing your compat on Transformers
      would only help if you do both.

Transformers+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Transformers together require
    ForwardDiff ≤1.4.4 (through Flux)
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Transformers
    → allows: DataStructures 0.19.6, ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Transformers does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on OrderedCollections.

Transformers+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through DataDeps)
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on DataStructures and relaxed your compat on OrderedCollections.

Transformers+bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: relax your compat on Flux
    → allows: Flux 0.14.25, Transformers 0.3.1
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement Transformers would not help unless you also relaxed
      your compat on Zygote.
    • dropping requirement Flux would not help unless you also dropped
      requirement Transformers.

Transformers+bump-HTTP

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Transformers+bump-Zygote

Unsatisfiable — 1 conflict:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  The only minimal fix: relax your compat on Zygote
    → allows: Flux 0.14.25, Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.
    • relaxing your compat on Flux would not help unless you also dropped
      requirement Transformers.
    • dropping requirement Flux would not help unless you also dropped
      requirement Transformers.

Transformers+bump2-Flux-HTTP

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.16.11
  • Flux 0.16.11 requires Zygote ≤0.6.76, ≥0.7.0
  • your compat leaves Zygote 0.6.77
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.10, Zygote 0.6.77
    2. relax your compat on Zygote
       → allows: Flux 0.16.11, Zygote 0.7.13
    3. drop requirement Flux
       → allows: Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote does not help.

Conflict 2: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  One fix: drop requirement Transformers
    → allows: Flux 0.16.10
  Blocked fixes:
    • relaxing your compat on Transformers does not help.

Or, without dropping requirement Transformers:
  relax your compat on Flux and relax your compat on HTTP
  → allows: Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77

Transformers+bump2-Zygote-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: drop requirement Transformers
    → allows: Flux 0.16.11
  Blocked fixes:
    • dropping requirement Flux does not help.
    • relaxing your compat on Transformers would not help unless you also
      relaxed your compat on Flux, relaxed your compat on HTTP and dropped
      requirement Zygote.
    • relaxing your compat on Flux would not help unless you also relaxed your
      compat on Zygote.

Transformers+bump2-Zygote-HTTP

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.11, Zygote 0.7.13
    2. relax your compat on Zygote
       → allows: Flux 0.14.25, Zygote 0.6.77
    3. drop requirement Flux
       → allows: Zygote 0.7.13
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.

Conflict 2: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Or, without dropping requirement Transformers:
  relax your compat on HTTP and relax your compat on Zygote
  → allows: Flux 0.14.25, HTTP 1.11.0, Transformers 0.3.1, Zygote 0.6.77

Transformers+manifest-bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.14.25, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: Flux 0.16.11
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement Flux does not help.

Transformers+manifest-bump-HTTP

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through DataDeps)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Transformers+manifest-bump-Zygote

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves Adapt 4.7.0
  • your compat leaves Zygote 0.7.13
  • incompatible constraints on Flux:
      — Flux ≤0.14.10 requires Adapt ≤4.6.1
      — Flux 0.14.7–0.14.25 requires Zygote ≤0.7.12
      — Transformers requires Flux ≤0.14.25
  Fix it by any one of:
    1. relax your compat on Zygote
       → allows: Adapt 4.7.0, Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77
    2. drop requirement Transformers
       → allows: Adapt 4.7.0, Flux 0.16.11, Zygote 0.7.13
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Flux does not help.
    • relaxing your compat on Transformers does not help.
    • dropping requirement Flux does not help.
    • dropping requirement Zygote does not help.

Costlier fixes also exist.

Transformers+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: drop requirement Transformers
    → allows: Flux 0.16.11
  Blocked fixes:
    • dropping requirement Flux does not help.
    • relaxing your compat on Transformers would not help unless you also
      relaxed your compat on Flux, relaxed your compat on HTTP and dropped
      requirement Zygote.
    • relaxing your compat on Flux would not help unless you also relaxed your
      compat on HTTP and relaxed your compat on Zygote.

Turing+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Turing together require
    OrderedCollections ≤2.0.0 (through AbstractPPL, FlexiChains, MCMCChain,
    MCMCChains and StatPlots)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, OrderedCollections 1.8.2, Turing
         0.48.0
    2. drop requirement Turing
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Turing does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement OrderedCollections does not help.

Costlier fixes also exist.

VoronoiFVM+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: VoronoiFVM
  • your compat leaves OrderedCollections 2.0.1
  • OrderedCollections 2.0.1 or absent and VoronoiFVM together require
    DocStringExtensions 0.8.0–0.8.6 (through GridVisualize)
  • your compat leaves DocStringExtensions 0.9.5
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DocStringExtensions 0.9.5, OrderedCollections 1.8.2,
         VoronoiFVM 3.5.2
    2. drop requirement VoronoiFVM
       → allows: DocStringExtensions 0.9.5, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DocStringExtensions does not help.
    • relaxing your compat on VoronoiFVM does not help.

Costlier fixes also exist.

Yao+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires Combinatorics 1.0.2 (through
    SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, ModelingToolkit 11.41.0
    2. drop requirement ModelingToolkit
       → allows: Combinatorics 1.1.0
  Blocked fixes:
    • relaxing your compat on ModelingToolkit would not help unless you also
      relaxed your compat on LogExpFunctions and relaxed your compat on
      OrderedCollections.

There may be more to say about some of these.

Yao+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves LogExpFunctions 1.0.1
  • LogExpFunctions 1.0.1 or absent constrains Bijectors ≤0.9.7
  • Bijectors ≤0.9.7 or absent, LogExpFunctions 1.0.1 or absent and Turing
    together require Adapt ≤4.6.1 (through Distributions, DistributionsAD,
    DynamicPPL, Flux, SpecialFunctions, StatsFuns and Tracker)
  • your compat leaves Adapt 4.7.0
  The only minimal fix: drop requirement Turing
    → allows: Adapt 4.7.0, LogExpFunctions 1.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.
    • relaxing your compat on LogExpFunctions would not help unless you also
      relaxed your compat on OrderedCollections.

There may be more to say about some of these.

Zygote+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Images does not help.

Costlier fixes also exist.

There may be more to say about some of these.

Raw

before.md

Resolver.jl PR #107 — realistic corpus, before and after — before

Bloqade+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires JSON 0.21.0–0.21.4 (through BloqadeExpr,
    OMEinsumContractionOrders, Yao, YaoSubspaceArrayReg, OMEinsum, YaoBlocks
    and YaoToEinsum)
  • your compat leaves JSON 1.8.0
  The only minimal fix: relax your compat on JSON
    → allows: Bloqade 0.2.5, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement JSON does not help.
    • dropping requirement Bloqade would not help unless you also dropped
      requirement BloqadeODE.

Bloqade+big20-partial

Unsatisfiable — 3 conflicts, each of which must be fixed:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: relax your compat on ForwardDiff
    → allows: Bloqade 0.2.5, ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  The only minimal fix: relax your compat on Interpolations
    → allows: Bloqade 0.2.5, Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

Conflict 3: Bloqade and JSON
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires JSON 0.21.0–0.21.4 (through BloqadeExpr,
    OMEinsumContractionOrders, Yao, YaoSubspaceArrayReg, OMEinsum, YaoBlocks
    and YaoToEinsum)
  • your compat leaves JSON 1.8.0
  The only minimal fix: relax your compat on JSON
    → allows: Bloqade 0.2.5, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement JSON does not help.
    • dropping requirement Bloqade would not help unless you also relaxed your
      compat on ForwardDiff, relaxed your compat on Interpolations and dropped
      requirement BloqadeODE.

There may be more to say about some of these.

Bloqade+big20-upgrade

Unsatisfiable — 5 conflicts:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  One fix: relax your compat on ForwardDiff
    → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  One fix: relax your compat on Interpolations
    → allows: Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.

Conflict 3: Bloqade and OrderedCollections
  • Bloqade requires OrderedCollections 1.3.0–1.8.2 (through BloqadeKrylov and
    Configurations)
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.

Conflict 4: Bloqade and DataStructures
  • Bloqade requires DataStructures 0.18.0–0.18.22 (through BloqadeODE and
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  One fix: drop requirement Bloqade
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Conflict 5: BloqadeODE
  • BloqadeODE requires DataStructures 0.18.0–0.18.22 (through
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  One fix: drop requirement BloqadeODE
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on BloqadeODE does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on ForwardDiff, drop requirement Bloqade, drop
     requirement BloqadeKrylov, drop requirement BloqadeODE and drop
     requirement BloqadeWaveforms
     → allows: DataStructures 0.19.6, ForwardDiff 0.10.39, Interpolations
       0.16.3, OrderedCollections 2.0.1

There may be more to say about some of these.

Bloqade+bump-CairoMakie

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires CairoMakie ≤0.12.18
  • your compat leaves CairoMakie 0.15.14
  Fix it by any one of:
    1. relax your compat on Bloqade
       → allows: Bloqade 0.2.3, CairoMakie 0.15.14
    2. relax your compat on CairoMakie
       → allows: Bloqade 0.2.5, CairoMakie 0.12.18
    3. drop requirement Bloqade
       → allows: CairoMakie 0.15.14
  Blocked fixes:
    • dropping requirement CairoMakie does not help.

Bloqade+bump-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  Fix it by any one of:
    1. relax your compat on ForwardDiff
       → allows: Bloqade 0.2.5, ForwardDiff 0.10.39
    2. drop requirement Bloqade
       → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Bloqade+bump2-CairoMakie-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Bloqade
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on ForwardDiff.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on CairoMakie.

Bloqade+manifest-bump-CairoMakie

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • your compat leaves Bloqade 0.2.5
  • Bloqade 0.2.5 requires CairoMakie ≤0.12.18
  • your compat leaves CairoMakie 0.15.14
  Fix it by any one of:
    1. relax your compat on CairoMakie
       → allows: Bloqade 0.2.5, CairoMakie 0.12.18
    2. drop requirement Bloqade
       → allows: CairoMakie 0.15.14
  Blocked fixes:
    • dropping requirement CairoMakie does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on Colors.

There may be more to say about some of these.

Bloqade+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Bloqade
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Bloqade
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on Bloqade would not help unless you also relaxed
      your compat on ForwardDiff and relaxed your compat on Yao.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on CairoMakie and relaxed your compat on Yao.

CSV+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  The only minimal fix: relax your compat on Parsers
    → allows: CSV 0.10.17, Parsers 2.8.8
  Blocked fixes:
    • relaxing your compat on CSV does not help.
    • dropping requirement Parsers does not help.
    • dropping requirement CSV would not help unless you also dropped
      requirement WeakRefStrings.

CSV+big20-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: WeakRefStrings
  • your compat leaves WeakRefStrings 1.4.3
  • WeakRefStrings 1.4.3 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on WeakRefStrings
       → allows: InlineStrings 2.0.1, WeakRefStrings 0.6.2
    2. drop requirement WeakRefStrings
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Conflict 2: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  One fix: drop requirement CSV
    → allows: InlineStrings 2.0.1
  Blocked fixes:
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Parsers and relaxed your compat on WeakRefStrings.
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on InlineStrings and relax your compat on Parsers
     → allows: CSV 0.10.17, InlineStrings 1.4.6, WeakRefStrings 1.4.3

CSV+bump-Parsers

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on CSV
       → allows: CSV 0.3.1, Parsers 3.0.0
    2. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    3. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • dropping requirement Parsers does not help.

CSV+manifest-bump-Parsers

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    2. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • dropping requirement Parsers does not help.
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Compat, relaxed your compat on TranscodingStreams and relaxed
      your compat on WeakRefStrings.

Catlab+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Catlab
  • Catlab requires JSON ≤0.21.4 (through Compose and GATlab)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Catlab 0.17.6, JSON 0.21.4
    2. drop requirement Catlab
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Catlab does not help.
    • dropping requirement JSON does not help.

Catlab+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Turing together require
    OrderedCollections ≤2.0.0 (through AbstractPPL, FlexiChains, MCMCChain and
    MCMCChains)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, OrderedCollections 1.8.2, Turing
         0.48.0
    2. drop requirement Turing
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Turing does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

ClimaCore+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves Adapt 4.7.0
  • Adapt 4.7.0 or absent and Turing together require OrderedCollections
    ≤2.0.0 (through AbstractPPL, DataStructures, Distributions, FlexiChains,
    Flux and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Turing
    → allows: Adapt 4.7.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on LogExpFunctions.

There may be more to say about some of these.

Convex+add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on Images would not help unless you also relaxed
      your compat on Convex and dropped requirement MathOptInterface.

Convex+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on Images would not help unless you also relaxed
      your compat on SpecialFunctions, dropped requirement Convex and dropped
      requirement MathOptInterface.

DataFrames+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: DataFrames
  • your compat leaves DataFrames 1.8.2
  • DataFrames 1.8.2 requires InlineStrings 1.3.0–1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on InlineStrings
       → allows: DataFrames 1.8.2, InlineStrings 1.4.6
    2. drop requirement DataFrames
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings does not help.
    • relaxing your compat on DataFrames would not help unless you also
      relaxed your compat on PrettyTables.

DataFrames+manifest-add-CSV

Unsatisfiable — 1 conflict:

Conflict 1: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires Parsers 2.5.0–2.8.8
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on Parsers
       → allows: CSV 0.10.17, Parsers 2.8.8
    2. drop requirement CSV
       → allows: Parsers 3.0.0
  Blocked fixes:
    • relaxing your compat on CSV does not help.

Costlier fixes also exist.

DiffEqFlux+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DiffEqFlux
  • your compat leaves DiffEqFlux 4.10.2
  • DiffEqFlux 4.10.2 requires Distributions ≤0.25.126
  • your compat leaves Distributions 0.25.131
  Fix it by any one of:
    1. relax your compat on DiffEqFlux
       → allows: DiffEqFlux 4.8.0, Distributions 0.25.131
    2. relax your compat on Distributions
       → allows: DiffEqFlux 4.10.2, Distributions 0.25.126
    3. drop requirement DiffEqFlux
       → allows: Distributions 0.25.131
  Blocked fixes:
    • dropping requirement Distributions does not help.

DynamicalSystems+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DynamicalSystems
  • your compat leaves DynamicalSystems 3.7.0
  • DynamicalSystems 3.7.0 requires Distributions ≤0.25.130 (through
    Attractors)
  • your compat leaves Distributions 0.25.131
  Fix it by any one of:
    1. relax your compat on Distributions
       → allows: Distributions 0.25.127, DynamicalSystems 3.7.0
    2. drop requirement DynamicalSystems
       → allows: Distributions 0.25.131
  Blocked fixes:
    • relaxing your compat on DynamicalSystems does not help.
    • dropping requirement Distributions does not help.

Costlier fixes also exist.

DynamicalSystems+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: DynamicalSystems
  • your compat leaves DataStructures 0.19.6
  • your compat leaves Distributions 0.25.131
  • incompatible constraints on ChaosTools:
      — ChaosTools ≤1.8.0 requires DataStructures ≤0.19.5 (through StatsBase)
      — ChaosTools ≥1.6.0 requires Distributions ≤0.25.130 (through Roots)
      — DynamicalSystems requires ChaosTools
  Fix it by any one of:
    1. relax your compat on Distributions
       → allows: ChaosTools 3.5.4, DataStructures 0.19.6, Distributions
         0.25.127, DynamicalSystems 3.7.0
    2. drop requirement DynamicalSystems
       → allows: DataStructures 0.19.6, Distributions 0.25.131
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on DynamicalSystems does not help.
    • dropping requirement Distributions does not help.

Costlier fixes also exist.

Franklin+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: relax your compat on HTTP
    → allows: Franklin 0.10.97, HTTP 1.11.0
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.
    • dropping requirement Franklin would not help unless you also relaxed
      your compat on FranklinTemplates.

Franklin+big10-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on OrderedCollections
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Franklin+big20-partial

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on MIMEs
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Costlier fixes also exist.

Franklin+big20-upgrade

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on LiveServer, relaxed your compat on MIMEs and relaxed your
      compat on OrderedCollections.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Franklin would not help unless you also relaxed
      your compat on FranklinTemplates, relaxed your compat on HTTP, relaxed
      your compat on LiveServer and relaxed your compat on OrderedCollections.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on LiveServer, relaxed your compat on MIMEs and relaxed your
      compat on OrderedCollections.

Franklin+upgrade-direct

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on LiveServer
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Gadfly+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires JSON ≤0.21.4 (through Compose)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gadfly 1.4.1, JSON 0.21.4
    2. drop requirement Gadfly
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement JSON does not help.

Gadfly+big20-partial

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: DataStructures
  • your compat leaves DataStructures 0.18.22
  • DataStructures 0.18.22 requires OrderedCollections 1.1.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.12.0, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: DataStructures 0.18.22, OrderedCollections 1.8.2
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • dropping requirement DataStructures would not help unless you also
      dropped requirement Distributions, dropped requirement Gadfly and
      dropped requirement StatsBase.

Conflict 2: Gadfly
  • Gadfly requires JSON ≤0.21.4 (through Compose)
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gadfly 1.4.1, JSON 0.21.4
    2. drop requirement Gadfly
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement JSON does not help.

Gadfly+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires DataStructures ≤0.18.22 (through Compose)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Gadfly
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on JSON.

Gadfly+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Gadfly
  • Gadfly requires DataStructures ≤0.18.22 (through Compose)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Gadfly 1.4.1
    2. drop requirement Gadfly
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Gadfly does not help.
    • dropping requirement DataStructures does not help.

Gen+add-Lux

Unsatisfiable — 1 conflict:

Conflict 1: Lux
  • your compat leaves Lux 1.31.4
  • Lux 1.31.4 requires ForwardDiff ≥1.0.0
  • your compat leaves ForwardDiff 0.10.39
  Fix it by any one of:
    1. relax your compat on Lux
       → allows: ForwardDiff 0.10.39, Lux 1.31.2
    2. drop requirement Lux
       → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      dropped requirement Gen.

Gen+add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires ForwardDiff ≥1.0.1
  • your compat leaves ForwardDiff 0.10.39
  Fix it by any one of:
    1. relax your compat on ModelingToolkit
       → allows: ForwardDiff 0.10.39, ModelingToolkit 10.32.1
    2. drop requirement ModelingToolkit
       → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      dropped requirement Gen.

Gen+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires JSON 0.20.0–0.21.4
  • your compat leaves JSON 1.8.0
  Fix it by any one of:
    1. relax your compat on JSON
       → allows: Gen 0.4.8, JSON 0.21.4
    2. drop requirement Gen
       → allows: JSON 1.8.0
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement JSON does not help.

Gen+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Gen
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on JSON and relaxed your compat on Parameters.

Gen+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires DataStructures 0.15.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Gen
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Gen does not help.

Costlier fixes also exist.

Gen+bump-ForwardDiff

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  Fix it by any one of:
    1. relax your compat on ForwardDiff
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

Gen+bump2-ForwardDiff-JSON

Unsatisfiable — 1 conflict:

Conflict 1: Gen
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Gen
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on JSON.

Gen+manifest-add-Lux

Unsatisfiable — 1 conflict:

Conflict 1: Gen and Lux
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • ForwardDiff 0.10.10–0.10.39 constrains Lux ≤1.31.3
  • your compat leaves Lux 1.31.4
  Fix it by any one of:
    1. relax your compat on Lux
       → allows: ForwardDiff 0.10.39, Gen 0.4.8, Lux 1.31.2
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5, Lux 1.31.4
    3. drop requirement Lux
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

Gen+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: Gen and ModelingToolkit
  • Gen requires ForwardDiff 0.10.10–0.10.39
  • ForwardDiff 0.10.10–0.10.39 constrains ModelingToolkit ≤11.40.0
  • your compat leaves ModelingToolkit 11.41.0
  Fix it by any one of:
    1. relax your compat on ModelingToolkit
       → allows: ForwardDiff 0.10.39, Gen 0.4.8, ModelingToolkit 10.32.1
    2. drop requirement Gen
       → allows: ForwardDiff 1.4.5, ModelingToolkit 11.41.0
    3. drop requirement ModelingToolkit
       → allows: ForwardDiff 0.10.39, Gen 0.4.8
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Gen does not help.
    • dropping requirement ForwardDiff does not help.

GeoStats+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeoStats
  • your compat leaves GeoStats 0.90.0
  • GeoStats 0.90.0 requires HTTP ≤1.11.0 (through CoordGridTransforms and
    DataDeps)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: GeoStats 0.90.0, HTTP 1.11.0
    2. drop requirement GeoStats
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on GeoStats does not help.
    • dropping requirement HTTP does not help.

Costlier fixes also exist.

There may be more to say about some of these.

GeoStats+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires Combinatorics 1.0.2 (through
    SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, ModelingToolkit 11.41.0
    2. drop requirement ModelingToolkit
       → allows: Combinatorics 1.1.0
  Blocked fixes:
    • relaxing your compat on ModelingToolkit would not help unless you also
      relaxed your compat on Gamma, relaxed your compat on LogExpFunctions and
      relaxed your compat on OrderedCollections.

There may be more to say about some of these.

GeometricFlux+add-Symbolics

Unsatisfiable — 1 conflict:

Conflict 1: Symbolics
  • your compat leaves Symbolics 7.39.0
  • Symbolics 7.39.0 requires DataStructures ≤0.18.21, ≥0.19.0
  • your compat leaves DataStructures 0.18.22
  Fix it by any one of:
    1. relax your compat on Symbolics
       → allows: DataStructures 0.18.22, Symbolics 6.58.0
    2. drop requirement Symbolics
       → allows: DataStructures 0.18.22
  Blocked fixes:
    • relaxing your compat on DataStructures would not help unless you also
      dropped requirement GeometricFlux.

GeometricFlux+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, GeometricFlux 0.14.0
    2. drop requirement GeometricFlux
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement DataStructures does not help.

GeometricFlux+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on OrderedCollections.

GeometricFlux+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Graphs, relaxed your compat on HTTP and relaxed
      your compat on OrderedCollections.

There may be more to say about some of these.

GeometricFlux+bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.14.25, GeometricFlux 0.14.0
    2. drop requirement GeometricFlux
       → allows: Flux 0.16.11
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement Flux does not help.

GeometricFlux+bump2-Flux-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux
  • GeometricFlux requires DataStructures ≤0.18.22 (through LightGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement GeometricFlux
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Flux.

GeometricFlux+manifest-add-Symbolics

Unsatisfiable — 1 conflict:

Conflict 1: GeometricFlux and Symbolics
  • GeometricFlux constrains Symbolics ≤7.38.0 (through DataStructures and
    LightGraphs)
  • your compat leaves Symbolics 7.39.0
  Fix it by any one of:
    1. relax your compat on Symbolics
       → allows: GeometricFlux 0.14.0, Symbolics 6.58.0
    2. drop requirement GeometricFlux
       → allows: Symbolics 7.39.0
    3. drop requirement Symbolics
       → allows: GeometricFlux 0.14.0
  Blocked fixes:
    • relaxing your compat on GeometricFlux does not help.

ITensors+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: ITensors
  • ITensors requires TimerOutputs 0.5.5–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on TimerOutputs
       → allows: ITensors 0.9.30, TimerOutputs 0.5.29
    2. drop requirement ITensors
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • relaxing your compat on ITensors does not help.
    • dropping requirement TimerOutputs does not help.

Images+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections 1.1.0–1.8.2 (through ImageContrastAdjustment,
    ImageFiltering, Parameters and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: relax your compat on OrderedCollections
    → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement Images would not help unless you also dropped
      requirement Parameters.

Images+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Images
    → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on Parameters.

Knet+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.1.3, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.
    • dropping requirement JLD2 would not help unless you also dropped
      requirement Knet.

Knet+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.1.3, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions.

Knet+big20-partial

Unsatisfiable — 3 conflicts:

Conflict 1: CUDA
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 requires Adapt ≥4.4.0 (through CUDACore)
  • your compat leaves Adapt 3.7.2
  One fix: relax your compat on Adapt
    → allows: Adapt 4.7.0, CUDA 6.3.1
  Blocked fixes:
    • dropping requirement Adapt does not help.

Conflict 2: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.6.6, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
    3. drop requirement JLD2
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.

Conflict 3: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions, dropped requirement CUDA and dropped
      requirement JLD2.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CUDA, relax your compat on Colors and relax your
     compat on JLD2
     → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.1.3, Knet 1.4.10,
       OrderedCollections 2.0.1
  2. relax your compat on CUDA, relax your compat on Colors and relax your
     compat on OrderedCollections
     → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10,
       OrderedCollections 1.8.2
  3. relax your compat on CUDA, relax your compat on JLD2 and drop requirement
     Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, JLD2 0.6.6, OrderedCollections 2.0.1
  4. relax your compat on CUDA, relax your compat on OrderedCollections and
     drop requirement Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, JLD2 0.4.55, OrderedCollections 1.8.2
  5. relax your compat on CUDA, drop requirement JLD2 and drop requirement
     Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, OrderedCollections 2.0.1
  6. relax your compat on JLD2, drop requirement CUDA and drop requirement
     Knet
     → allows: Adapt 3.7.2, JLD2 0.6.6, OrderedCollections 2.0.1
  7. relax your compat on OrderedCollections, drop requirement CUDA and drop
     requirement Knet
     → allows: Adapt 3.7.2, JLD2 0.4.55, OrderedCollections 1.8.2
  8. drop requirement CUDA, drop requirement JLD2 and drop requirement Knet
     → allows: Adapt 3.7.2, OrderedCollections 2.0.1

There may be more to say about some of these.

Knet+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires Adapt 2.2.0–3.7.2 (through CUDA)
  • your compat leaves Adapt 4.7.0
  The only minimal fix: drop requirement Knet
    → allows: Adapt 4.7.0
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • dropping requirement Adapt does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions and dropped requirement CUDA.

There may be more to say about some of these.

Knet+bump-CUDA

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: relax your compat on CUDA
    → allows: CUDA 3.13.1, Knet 1.4.10
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement CUDA would only
      help if you do both.
    • dropping requirement Knet would not help unless you also relaxed your
      compat on NNlib.

Knet+bump-JLD2

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.4.55, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA.

Knet+bump-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires NNlib ≤0.9.39 (through Adapt, BFloat16s, CUDA and
    GPUArraysCore)
  • your compat leaves NNlib 0.9.45
  The only minimal fix: relax your compat on NNlib
    → allows: Knet 1.4.10, NNlib 0.8.21
  Blocked fixes:
    • dropping requirement Knet would not help unless you also relaxed your
      compat on CUDA.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.
    • dropping requirement NNlib would not help unless you also dropped
      requirement Knet.

Knet+bump2-CUDA-JLD2

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 constrains NNlib ≤0.8.20, ≥0.9.0 (through Adapt and cuBLAS)
  • your compat leaves NNlib 0.8.21
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 5.1.2, NNlib 0.8.21
    2. relax your compat on NNlib
       → allows: CUDA 6.3.1, NNlib 0.9.45
    3. drop requirement CUDA
       → allows: NNlib 0.8.21
    4. drop requirement NNlib
       → allows: CUDA 6.3.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 5.1.2

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CUDA and relax your compat on JLD2
     → allows: CUDA 3.13.1, Knet 1.4.10, NNlib 0.8.21
  2. relax your compat on Knet and drop requirement CUDA
     → allows: Knet 1.0.0, NNlib 0.8.21

Costlier fixes also exist.

Knet+bump2-CUDA-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on CUDA would not help unless you also relaxed your
      compat on NNlib.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on NNlib and dropped requirement CUDA.
    • dropping requirement CUDA would not help unless you also relaxed your
      compat on Knet and dropped requirement NNlib.

Knet+bump2-NNlib-JLD2

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 3.13.1
  • CUDA 3.13.1 requires BFloat16s 0.2.0
  • BFloat16s 0.2.0 constrains NNlib ≤0.9.44
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: BFloat16s 0.6.1, CUDA 6.3.1, NNlib 0.9.45
    2. relax your compat on NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1, NNlib 0.8.21
    3. drop requirement CUDA
       → allows: BFloat16s 0.6.1, NNlib 0.9.45
    4. drop requirement NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  One fix: drop requirement Knet
    → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on JLD2 and relax your compat on NNlib
     → allows: BFloat16s 0.2.0, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10, NNlib
       0.8.21

Knet+manifest-bump-CUDA

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 3.13.1, Knet 1.4.10
    2. drop requirement Knet
       → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement CUDA would only
      help if you do both and also relaxed your compat on SpecialFunctions.

Knet+manifest-bump-JLD2

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.4.55, Knet 1.4.10
    2. drop requirement Knet
       → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions and dropped requirement CUDA.

Knet+manifest-bump-NNlib

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires NNlib ≤0.9.44 (through BFloat16s and CUDA)
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on NNlib
       → allows: Knet 1.4.10, NNlib 0.8.21
    2. drop requirement Knet
       → allows: NNlib 0.9.45
  Blocked fixes:
    • relaxing your compat on Knet or dropping requirement NNlib would only
      help if you do both and also relaxed your compat on SpecialFunctions and
      dropped requirement CUDA.

Knet+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  The only minimal fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on CUDA would not help unless you also relaxed your
      compat on JLD2 and relaxed your compat on NNlib.
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on CUDA and relaxed your compat on NNlib.
    • dropping requirement CUDA would not help unless you also relaxed your
      compat on Knet and dropped requirement NNlib.

Metatheory+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on Metatheory would not help unless you also
      relaxed your compat on DataStructures.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on TimerOutputs.

Metatheory+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures or relaxing your compat on
      Metatheory would only help if you do both and also relaxed your compat
      on OrderedCollections.

Metatheory+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Metatheory 2.0.2
    2. drop requirement Metatheory
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Metatheory does not help.
    • dropping requirement DataStructures does not help.

Metatheory+bump-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TermInterface 2.0.0
    2. relax your compat on TermInterface
       → allows: Metatheory 2.0.2, TermInterface 0.3.3
    3. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.

Metatheory+bump-TimerOutputs

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TimerOutputs 0.5.0–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TimerOutputs 1.2.1
    2. relax your compat on TimerOutputs
       → allows: Metatheory 2.0.2, TimerOutputs 0.5.29
    3. drop requirement Metatheory
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

Metatheory+bump2-DataStructures-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on Metatheory would not help unless you also
      relaxed your compat on DataStructures.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on TermInterface.

Metatheory+bump2-TimerOutputs-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.4.0, TermInterface 2.0.0
    2. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.
    • relaxing your compat on TermInterface would not help unless you also
      relaxed your compat on TimerOutputs.

Metatheory+manifest-bump-TermInterface

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TermInterface 0.3.3
  • your compat leaves TermInterface 2.0.0
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.1.1, TermInterface 2.0.0
    2. relax your compat on TermInterface
       → allows: Metatheory 2.0.2, TermInterface 0.3.3
    3. drop requirement Metatheory
       → allows: TermInterface 2.0.0
  Blocked fixes:
    • dropping requirement TermInterface does not help.

Metatheory+manifest-bump-TimerOutputs

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • your compat leaves Metatheory 2.0.2
  • Metatheory 2.0.2 requires TimerOutputs 0.5.0–0.5.29
  • your compat leaves TimerOutputs 1.2.1
  Fix it by any one of:
    1. relax your compat on Metatheory
       → allows: Metatheory 0.1.1, TimerOutputs 1.2.1
    2. relax your compat on TimerOutputs
       → allows: Metatheory 2.0.2, TimerOutputs 0.5.29
    3. drop requirement Metatheory
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

Metatheory+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Metatheory
  • Metatheory requires DataStructures 0.18.0–0.18.22
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Metatheory
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures or relaxing your compat on
      Metatheory would only help if you do both.

ModelingToolkit+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkitBase
  • ModelingToolkitBase requires Combinatorics 1.0.0–1.0.2 (through
    SymbolicUtils, Symbolics and SymbolicLimits)
  • your compat leaves Combinatorics 1.1.0
  The only minimal fix: relax your compat on Combinatorics
    → allows: Combinatorics 1.0.2, ModelingToolkitBase 1.68.2
  Blocked fixes:
    • relaxing your compat on ModelingToolkitBase does not help.
    • dropping requirement Combinatorics does not help.
    • dropping requirement ModelingToolkitBase would not help unless you also
      dropped requirement ModelingToolkit and dropped requirement
      ModelingToolkitTearing.

There may be more to say about some of these.

Molly+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Molly
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Molly together require
    OrderedCollections 1.1.0–1.8.2 (through BioStructures, CellListMap,
    Distributions, JLD2, LightGraphs, Parameters, QuadGK and MetaGraphs)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: relax your compat on OrderedCollections
    → allows: DataStructures 0.19.6, Molly 0.23.3, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Molly does not help.
    • dropping requirement Molly would not help unless you also relaxed your
      compat on Parameters.

Molly+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Molly
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Molly together require
    OrderedCollections ≤2.0.0 (through BioStructures, CellListMap, JLD2,
    LightGraphs, Parameters and MetaGraphs)
  • your compat leaves OrderedCollections 2.0.1
  The only minimal fix: drop requirement Molly
    → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on Molly and dropped requirement Graphs.
    • relaxing your compat on Molly would not help unless you also relaxed
      your compat on OrderedCollections.
    • relaxing your compat on OrderedCollections would not help unless you
      also relaxed your compat on Parameters.

Oceananigans+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Oceananigans
  • your compat leaves FFTW 1.10.0
  • FFTW 1.10.0 or absent and Oceananigans together require OrderedCollections
    ≤2.0.0 (through AbstractFFTs)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: FFTW 1.10.0, Oceananigans 0.111.0, OrderedCollections 1.8.2
    2. drop requirement Oceananigans
       → allows: FFTW 1.10.0, OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement FFTW does not help.
    • dropping requirement OrderedCollections does not help.
    • relaxing your compat on FFTW or relaxing your compat on Oceananigans
      would only help if you do both and also relaxed your compat on Reexport
      and relaxed your compat on StaticArrays.

Oceananigans+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Oceananigans
  • your compat leaves FFTW 1.10.0
  • FFTW 1.10.0 or absent and Oceananigans together require OrderedCollections
    ≤2.0.0 (through AbstractFFTs)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: FFTW 1.10.0, Oceananigans 0.111.0, OrderedCollections 1.8.2
    2. drop requirement Oceananigans
       → allows: FFTW 1.10.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on FFTW does not help.
    • relaxing your compat on Oceananigans does not help.
    • dropping requirement FFTW does not help.
    • dropping requirement OrderedCollections does not help.

Costlier fixes also exist.

POMDPs+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections
         1.8.2
    2. drop requirement Images
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.

Costlier fixes also exist.

Pluto+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Pluto does not help.
    • dropping requirement HTTP does not help.

Pluto+big10-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Pluto
    → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP or relaxing your compat on Pluto would only
      help if you do both.

Pluto+big20-upgrade

Unsatisfiable — 2 conflicts:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Pluto would not help unless you also relaxed
      your compat on HTTP and dropped requirement Configurations.

Conflict 2: Configurations
  • Configurations requires OrderedCollections 1.3.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: Configurations 0.17.6, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Configurations does not help.
    • dropping requirement OrderedCollections does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. drop requirement Configurations and drop requirement Pluto
     → allows: HTTP 2.6.7, OrderedCollections 2.0.1

Rasters+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: ColorTypes
  • ColorTypes requires FixedPointNumbers ≤0.8.6
  • your compat leaves FixedPointNumbers 0.9.1
  The only minimal fix: relax your compat on FixedPointNumbers
    → allows: ColorTypes 0.12.1, FixedPointNumbers 0.8.6
  Blocked fixes:
    • relaxing your compat on ColorTypes does not help.
    • dropping requirement FixedPointNumbers does not help.
    • dropping requirement ColorTypes would not help unless you also dropped
      requirement Rasters.

Rasters+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves Adapt 4.7.0
  • Adapt 4.7.0 or absent and Turing together require OrderedCollections
    ≤2.0.0 (through AbstractPPL, DataStructures, Distributions, FlexiChains,
    Flux and StatsBase)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Adapt 4.7.0, OrderedCollections 1.8.2, Turing 0.48.0
    2. drop requirement Turing
       → allows: Adapt 4.7.0, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.

Costlier fixes also exist.

Soss+add-OrdinaryDiffEq

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEq and Soss
  • Soss constrains OrdinaryDiffEq ≤7.8.0 (through ArrayInterface,
    OrdinaryDiffEqBDF and OrdinaryDiffEqNonlinearSolve)
  • your compat leaves OrdinaryDiffEq 7.8.1
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEq
       → allows: OrdinaryDiffEq 6.25.0, Soss 0.21.2
    2. drop requirement OrdinaryDiffEq
       → allows: Soss 0.21.2
    3. drop requirement Soss
       → allows: OrdinaryDiffEq 7.8.1
  Blocked fixes:
    • relaxing your compat on Soss does not help.

Soss+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires StatsBase 0.29.0–0.30.0, 0.32.0–0.33.22 (through
    Distributions, MCMCDiagnostics, SampleChains, SimpleGraphs and
    SimpleRandom)
  • your compat leaves StatsBase 0.34.13
  Fix it by any one of:
    1. relax your compat on StatsBase
       → allows: Soss 0.21.2, StatsBase 0.33.22
    2. drop requirement Soss
       → allows: StatsBase 0.34.13
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement StatsBase does not help.

Soss+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires ForwardDiff ≤0.10.39 (through MeasureTheory and
    TransformVariables)
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Soss
    → allows: ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on ForwardDiff would not help unless you also
      relaxed your compat on Parameters and relaxed your compat on StatsBase.

Soss+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Soss
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

Soss+bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: relax your compat on DataStructures
    → allows: DataStructures 0.18.22, Soss 0.21.2
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement Soss would not help unless you also relaxed your
      compat on StatsBase.

Soss+bump2-StatsBase-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Soss
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on StatsBase.

Soss+manifest-add-OrdinaryDiffEq

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEq and Soss
  • Soss constrains OrdinaryDiffEq ≤7.8.0 (through ArrayInterface, DiffEqBase,
    Distributions, SimpleGraphs, OrdinaryDiffEqNonlinearSolve,
    OrdinaryDiffEqSDIRK and SimpleRandom)
  • your compat leaves OrdinaryDiffEq 7.8.1
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEq
       → allows: OrdinaryDiffEq 6.25.0, Soss 0.21.2
    2. drop requirement OrdinaryDiffEq
       → allows: Soss 0.21.2
    3. drop requirement Soss
       → allows: OrdinaryDiffEq 7.8.1
  Blocked fixes:
    • relaxing your compat on Soss does not help.

Soss+manifest-bump-DataStructures

Unsatisfiable — 1 conflict:

Conflict 1: Soss
  • Soss requires DataStructures ≤0.18.22 (through GeneralizedGenerated and
    SimpleGraphs)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Soss 0.21.2
    2. drop requirement Soss
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Soss does not help.
    • dropping requirement DataStructures does not help.

Symbolics+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Symbolics
  • your compat leaves RecursiveArrayTools 4.5.1
  • RecursiveArrayTools 4.5.1 or absent and Symbolics together require
    Combinatorics 1.0.0–1.0.2 (through NaNMath, SciMLBase and SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, RecursiveArrayTools 4.5.1, Symbolics
         7.39.0
    2. drop requirement Symbolics
       → allows: Combinatorics 1.1.0, RecursiveArrayTools 4.5.1
  Blocked fixes:
    • dropping requirement Combinatorics does not help.
    • dropping requirement RecursiveArrayTools does not help.
    • relaxing your compat on RecursiveArrayTools or relaxing your compat on
      Symbolics would only help if you do both.

Symbolics+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Images together require
    OrderedCollections ≤2.0.0 (through ImageFiltering)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, Images 0.26.2, OrderedCollections
         1.8.2
    2. drop requirement Images
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Images does not help.
    • dropping requirement DataStructures does not help.

Costlier fixes also exist.

Transformers+big10-partial

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Transformers together require Reexport
    0.2.0 (through DataDeps)
  • your compat leaves Reexport 1.2.2
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: DataStructures 0.18.22, Reexport 1.2.2, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: DataStructures 0.19.6, Reexport 1.2.2
  Blocked fixes:
    • dropping requirement DataStructures does not help.
    • dropping requirement Reexport does not help.
    • relaxing your compat on Reexport or relaxing your compat on Transformers
      would only help if you do both.

Transformers+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Transformers together require
    ForwardDiff ≤1.4.4 (through Flux)
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: drop requirement Transformers
    → allows: DataStructures 0.19.6, ForwardDiff 1.4.5
  Blocked fixes:
    • relaxing your compat on ForwardDiff does not help.
    • relaxing your compat on Transformers does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement ForwardDiff does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on OrderedCollections.

Transformers+big20-upgrade

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through DataDeps)
  • your compat leaves HTTP 2.6.7
  The only minimal fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.
    • relaxing your compat on HTTP would not help unless you also relaxed your
      compat on DataStructures and relaxed your compat on OrderedCollections.

Transformers+bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: relax your compat on Flux
    → allows: Flux 0.14.25, Transformers 0.3.1
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement Transformers would not help unless you also relaxed
      your compat on Zygote.
    • dropping requirement Flux would not help unless you also dropped
      requirement Transformers.

Transformers+bump-HTTP

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Transformers+bump-Zygote

Unsatisfiable — 1 conflict:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  The only minimal fix: relax your compat on Zygote
    → allows: Flux 0.14.25, Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.
    • relaxing your compat on Flux would not help unless you also dropped
      requirement Transformers.
    • dropping requirement Flux would not help unless you also dropped
      requirement Transformers.

Transformers+bump2-Flux-HTTP

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.16.11
  • Flux 0.16.11 requires Zygote ≤0.6.76, ≥0.7.0
  • your compat leaves Zygote 0.6.77
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.10, Zygote 0.6.77
    2. relax your compat on Zygote
       → allows: Flux 0.16.11, Zygote 0.7.13
    3. drop requirement Flux
       → allows: Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote does not help.

Conflict 2: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  One fix: drop requirement Transformers
    → allows: Flux 0.16.10
  Blocked fixes:
    • relaxing your compat on Transformers does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on Flux and relax your compat on HTTP
     → allows: Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77

Transformers+bump2-Zygote-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: drop requirement Transformers
    → allows: Flux 0.16.11
  Blocked fixes:
    • dropping requirement Flux does not help.
    • relaxing your compat on Transformers would not help unless you also
      relaxed your compat on Flux, relaxed your compat on HTTP and dropped
      requirement Zygote.
    • relaxing your compat on Flux would not help unless you also relaxed your
      compat on Zygote.

Transformers+bump2-Zygote-HTTP

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.11, Zygote 0.7.13
    2. relax your compat on Zygote
       → allows: Flux 0.14.25, Zygote 0.6.77
    3. drop requirement Flux
       → allows: Zygote 0.7.13
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.

Conflict 2: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on Zygote
     → allows: Flux 0.14.25, HTTP 1.11.0, Transformers 0.3.1, Zygote 0.6.77

Transformers+manifest-bump-Flux

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.14.25, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: Flux 0.16.11
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement Flux does not help.

Transformers+manifest-bump-HTTP

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires HTTP ≤1.11.0 (through DataDeps)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Transformers 0.3.1
    2. drop requirement Transformers
       → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Transformers+manifest-bump-Zygote

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • your compat leaves Adapt 4.7.0
  • your compat leaves Zygote 0.7.13
  • incompatible constraints on Flux:
      — Flux ≤0.14.10 requires Adapt ≤4.6.1
      — Flux 0.14.7–0.14.25 requires Zygote ≤0.7.12
      — Transformers requires Flux ≤0.14.25
  Fix it by any one of:
    1. relax your compat on Zygote
       → allows: Adapt 4.7.0, Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77
    2. drop requirement Transformers
       → allows: Adapt 4.7.0, Flux 0.16.11, Zygote 0.7.13
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Flux does not help.
    • relaxing your compat on Transformers does not help.
    • dropping requirement Flux does not help.
    • dropping requirement Zygote does not help.

Costlier fixes also exist.

Transformers+upgrade-direct

Unsatisfiable — 1 conflict:

Conflict 1: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  The only minimal fix: drop requirement Transformers
    → allows: Flux 0.16.11
  Blocked fixes:
    • dropping requirement Flux does not help.
    • relaxing your compat on Transformers would not help unless you also
      relaxed your compat on Flux, relaxed your compat on HTTP and dropped
      requirement Zygote.
    • relaxing your compat on Flux would not help unless you also relaxed your
      compat on HTTP and relaxed your compat on Zygote.

Turing+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves DataStructures 0.19.6
  • DataStructures 0.19.6 or absent and Turing together require
    OrderedCollections ≤2.0.0 (through AbstractPPL, FlexiChains, MCMCChain,
    MCMCChains and StatPlots)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DataStructures 0.19.6, OrderedCollections 1.8.2, Turing
         0.48.0
    2. drop requirement Turing
       → allows: DataStructures 0.19.6, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DataStructures does not help.
    • relaxing your compat on Turing does not help.
    • dropping requirement DataStructures does not help.
    • dropping requirement OrderedCollections does not help.

Costlier fixes also exist.

VoronoiFVM+big20-partial

Unsatisfiable — 1 conflict:

Conflict 1: VoronoiFVM
  • your compat leaves OrderedCollections 2.0.1
  • OrderedCollections 2.0.1 or absent and VoronoiFVM together require
    DocStringExtensions 0.8.0–0.8.6 (through GridVisualize)
  • your compat leaves DocStringExtensions 0.9.5
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: DocStringExtensions 0.9.5, OrderedCollections 1.8.2,
         VoronoiFVM 3.5.2
    2. drop requirement VoronoiFVM
       → allows: DocStringExtensions 0.9.5, OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on DocStringExtensions does not help.
    • relaxing your compat on VoronoiFVM does not help.

Costlier fixes also exist.

Yao+manifest-add-ModelingToolkit

Unsatisfiable — 1 conflict:

Conflict 1: ModelingToolkit
  • your compat leaves ModelingToolkit 11.41.0
  • ModelingToolkit 11.41.0 requires Combinatorics 1.0.2 (through
    SymbolicUtils)
  • your compat leaves Combinatorics 1.1.0
  Fix it by any one of:
    1. relax your compat on Combinatorics
       → allows: Combinatorics 1.0.2, ModelingToolkit 11.41.0
    2. drop requirement ModelingToolkit
       → allows: Combinatorics 1.1.0
  Blocked fixes:
    • relaxing your compat on ModelingToolkit would not help unless you also
      relaxed your compat on LogExpFunctions and relaxed your compat on
      OrderedCollections.

There may be more to say about some of these.

Yao+manifest-add-Turing

Unsatisfiable — 1 conflict:

Conflict 1: Turing
  • your compat leaves LogExpFunctions 1.0.1
  • LogExpFunctions 1.0.1 or absent constrains Bijectors ≤0.9.7
  • Bijectors ≤0.9.7 or absent, LogExpFunctions 1.0.1 or absent and Turing
    together require Adapt ≤4.6.1 (through Distributions, DistributionsAD,
    DynamicPPL, Flux, SpecialFunctions, StatsFuns and Tracker)
  • your compat leaves Adapt 4.7.0
  The only minimal fix: drop requirement Turing
    → allows: Adapt 4.7.0, LogExpFunctions 1.0.1
  Blocked fixes:
    • relaxing your compat on Adapt does not help.
    • relaxing your compat on Turing does not help.
    • relaxing your compat on LogExpFunctions would not help unless you also
      relaxed your compat on OrderedCollections.

There may be more to say about some of these.

Zygote+manifest-add-Images

Unsatisfiable — 1 conflict:

Conflict 1: Images
  • your compat leaves Images 0.26.2
  • Images 0.26.2 requires OrderedCollections 1.1.0–1.8.2 (through
    ImageContrastAdjustment and Parameters)
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on OrderedCollections
       → allows: Images 0.26.2, OrderedCollections 1.8.2
    2. drop requirement Images
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • relaxing your compat on Images does not help.

Costlier fixes also exist.

There may be more to say about some of these.

Raw

changed.md

Resolver.jl PR #107 — realistic corpus, before and after — changed cases, before and after

Bloqade+big20-upgrade

before

Unsatisfiable — 5 conflicts:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  One fix: relax your compat on ForwardDiff
    → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  One fix: relax your compat on Interpolations
    → allows: Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.

Conflict 3: Bloqade and OrderedCollections
  • Bloqade requires OrderedCollections 1.3.0–1.8.2 (through BloqadeKrylov and
    Configurations)
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.

Conflict 4: Bloqade and DataStructures
  • Bloqade requires DataStructures 0.18.0–0.18.22 (through BloqadeODE and
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  One fix: drop requirement Bloqade
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Conflict 5: BloqadeODE
  • BloqadeODE requires DataStructures 0.18.0–0.18.22 (through
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  One fix: drop requirement BloqadeODE
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on BloqadeODE does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on ForwardDiff, drop requirement Bloqade, drop
     requirement BloqadeKrylov, drop requirement BloqadeODE and drop
     requirement BloqadeWaveforms
     → allows: DataStructures 0.19.6, ForwardDiff 0.10.39, Interpolations
       0.16.3, OrderedCollections 2.0.1

There may be more to say about some of these.

after

Unsatisfiable — 5 conflicts:

Conflict 1: Bloqade and ForwardDiff
  • Bloqade requires ForwardDiff 0.10.13–0.10.39
  • your compat leaves ForwardDiff 1.4.5
  The only minimal fix: relax your compat on ForwardDiff
    → allows: ForwardDiff 0.10.39
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement ForwardDiff does not help.

Conflict 2: Bloqade and Interpolations
  • Bloqade requires Interpolations 0.13.1–0.13.2, 0.13.4–0.15.2 (through
    BloqadeWaveforms)
  • your compat leaves Interpolations 0.16.3
  One fix: relax your compat on Interpolations
    → allows: Interpolations 0.15.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • dropping requirement Interpolations does not help.

Conflict 3: Bloqade and OrderedCollections
  • Bloqade requires OrderedCollections 1.3.0–1.8.2 (through BloqadeKrylov and
    Configurations)
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.

Conflict 4: Bloqade and DataStructures
  • Bloqade requires DataStructures 0.18.0–0.18.22 (through BloqadeODE and
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement Bloqade
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on Bloqade does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Conflict 5: BloqadeODE
  • BloqadeODE requires DataStructures 0.18.0–0.18.22 (through
    DiffEqCallbacks)
  • your compat leaves DataStructures 0.19.6
  The only minimal fix: drop requirement BloqadeODE
    → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on BloqadeODE does not help.
    • relaxing your compat on DataStructures would not help unless you also
      relaxed your compat on ForwardDiff, relaxed your compat on Graphs,
      relaxed your compat on Interpolations, relaxed your compat on JSON and
      relaxed your compat on OrderedCollections.

Or, without relaxing your compat on Interpolations or relaxing your compat on
OrderedCollections:
  drop requirement BloqadeKrylov and drop requirement BloqadeWaveforms
  → allows: Interpolations 0.16.3, OrderedCollections 2.0.1

There may be more to say about some of these.

CSV+big20-upgrade

before

Unsatisfiable — 2 conflicts:

Conflict 1: WeakRefStrings
  • your compat leaves WeakRefStrings 1.4.3
  • WeakRefStrings 1.4.3 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on WeakRefStrings
       → allows: InlineStrings 2.0.1, WeakRefStrings 0.6.2
    2. drop requirement WeakRefStrings
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Conflict 2: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  One fix: drop requirement CSV
    → allows: InlineStrings 2.0.1
  Blocked fixes:
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Parsers and relaxed your compat on WeakRefStrings.
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on InlineStrings and relax your compat on Parsers
     → allows: CSV 0.10.17, InlineStrings 1.4.6, WeakRefStrings 1.4.3

after

Unsatisfiable — 2 conflicts:

Conflict 1: WeakRefStrings
  • your compat leaves WeakRefStrings 1.4.3
  • WeakRefStrings 1.4.3 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  Fix it by any one of:
    1. relax your compat on WeakRefStrings
       → allows: InlineStrings 2.0.1, WeakRefStrings 0.6.2
    2. drop requirement WeakRefStrings
       → allows: InlineStrings 2.0.1
  Blocked fixes:
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Conflict 2: CSV
  • your compat leaves CSV 0.10.17
  • CSV 0.10.17 requires InlineStrings ≤1.4.6
  • your compat leaves InlineStrings 2.0.1
  One fix: drop requirement CSV
    → allows: InlineStrings 2.0.1
  Blocked fixes:
    • relaxing your compat on CSV would not help unless you also relaxed your
      compat on Parsers and relaxed your compat on WeakRefStrings.
    • dropping requirement InlineStrings would not help unless you also
      relaxed your compat on CSV, relaxed your compat on Parsers and dropped
      requirement WeakRefStrings.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on InlineStrings and relax your compat on Parsers
  → allows: CSV 0.10.17, InlineStrings 1.4.6, WeakRefStrings 1.4.3

Franklin+big10-upgrade

before

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on OrderedCollections
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

after

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on OrderedCollections
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Franklin+big20-partial

before

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on MIMEs
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Costlier fixes also exist.

after

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on MIMEs
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Costlier fixes also exist.

Franklin+upgrade-direct

before

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on LiveServer
     → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

after

Unsatisfiable — 2 conflicts:

Conflict 1: FranklinTemplates
  • your compat leaves FranklinTemplates 0.10.4
  • FranklinTemplates 0.10.4 requires HTTP 1.0.0–1.11.0 (through Franklin)
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on FranklinTemplates
       → allows: FranklinTemplates 0.10.3, HTTP 2.6.7
    2. drop requirement FranklinTemplates
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: Franklin
  • Franklin requires HTTP 0.8.0–1.11.0
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Franklin
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Franklin does not help.
    • dropping requirement HTTP does not help.

Or, instead of the fixes for Conflicts 1 and 2:
  relax your compat on HTTP and relax your compat on LiveServer
  → allows: Franklin 0.10.97, FranklinTemplates 0.10.4, HTTP 1.11.0

Knet+big20-partial

before

Unsatisfiable — 3 conflicts:

Conflict 1: CUDA
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 requires Adapt ≥4.4.0 (through CUDACore)
  • your compat leaves Adapt 3.7.2
  One fix: relax your compat on Adapt
    → allows: Adapt 4.7.0, CUDA 6.3.1
  Blocked fixes:
    • dropping requirement Adapt does not help.

Conflict 2: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.6.6, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
    3. drop requirement JLD2
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.

Conflict 3: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions, dropped requirement CUDA and dropped
      requirement JLD2.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CUDA, relax your compat on Colors and relax your
     compat on JLD2
     → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.1.3, Knet 1.4.10,
       OrderedCollections 2.0.1
  2. relax your compat on CUDA, relax your compat on Colors and relax your
     compat on OrderedCollections
     → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10,
       OrderedCollections 1.8.2
  3. relax your compat on CUDA, relax your compat on JLD2 and drop requirement
     Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, JLD2 0.6.6, OrderedCollections 2.0.1
  4. relax your compat on CUDA, relax your compat on OrderedCollections and
     drop requirement Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, JLD2 0.4.55, OrderedCollections 1.8.2
  5. relax your compat on CUDA, drop requirement JLD2 and drop requirement
     Knet
     → allows: Adapt 3.7.2, CUDA 5.1.2, OrderedCollections 2.0.1
  6. relax your compat on JLD2, drop requirement CUDA and drop requirement
     Knet
     → allows: Adapt 3.7.2, JLD2 0.6.6, OrderedCollections 2.0.1
  7. relax your compat on OrderedCollections, drop requirement CUDA and drop
     requirement Knet
     → allows: Adapt 3.7.2, JLD2 0.4.55, OrderedCollections 1.8.2
  8. drop requirement CUDA, drop requirement JLD2 and drop requirement Knet
     → allows: Adapt 3.7.2, OrderedCollections 2.0.1

There may be more to say about some of these.

after

Unsatisfiable — 3 conflicts:

Conflict 1: CUDA
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 requires Adapt ≥4.4.0 (through CUDACore)
  • your compat leaves Adapt 3.7.2
  Fix it by any one of:
    1. relax your compat on Adapt
       → allows: Adapt 4.7.0, CUDA 6.3.1
    2. relax your compat on CUDA
       → allows: Adapt 3.7.2, CUDA 5.1.2
    3. drop requirement CUDA
       → allows: Adapt 3.7.2
  Blocked fixes:
    • dropping requirement Adapt does not help.

Conflict 2: JLD2
  • your compat leaves JLD2 0.4.55
  • JLD2 0.4.55 requires OrderedCollections 1.0.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  Fix it by any one of:
    1. relax your compat on JLD2
       → allows: JLD2 0.6.6, OrderedCollections 2.0.1
    2. relax your compat on OrderedCollections
       → allows: JLD2 0.4.55, OrderedCollections 1.8.2
    3. drop requirement JLD2
       → allows: OrderedCollections 2.0.1
  Blocked fixes:
    • dropping requirement OrderedCollections does not help.

Conflict 3: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 6.3.1
  Blocked fixes:
    • relaxing your compat on Knet would not help unless you also relaxed your
      compat on SpecialFunctions, dropped requirement CUDA and dropped
      requirement JLD2.

Or, without dropping requirement Knet:
  • relax your compat on CUDA and relax your compat on Colors
    → allows: Adapt 3.7.2, CUDA 3.13.1, JLD2 0.1.3, Knet 1.4.10,
      OrderedCollections 2.0.1
  • relax your compat on JLD2, or relax your compat on OrderedCollections
    → relaxing your compat on JLD2 allows: Adapt 3.7.2, CUDA 3.13.1, JLD2
      0.1.3, Knet 1.4.10, OrderedCollections 2.0.1
    → relaxing your compat on OrderedCollections allows: Adapt 3.7.2, CUDA
      3.13.1, JLD2 0.4.55, Knet 1.4.10, OrderedCollections 1.8.2

There may be more to say about some of these.

Knet+bump2-CUDA-JLD2

before

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 constrains NNlib ≤0.8.20, ≥0.9.0 (through Adapt and cuBLAS)
  • your compat leaves NNlib 0.8.21
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 5.1.2, NNlib 0.8.21
    2. relax your compat on NNlib
       → allows: CUDA 6.3.1, NNlib 0.9.45
    3. drop requirement CUDA
       → allows: NNlib 0.8.21
    4. drop requirement NNlib
       → allows: CUDA 6.3.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 5.1.2

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CUDA and relax your compat on JLD2
     → allows: CUDA 3.13.1, Knet 1.4.10, NNlib 0.8.21
  2. relax your compat on Knet and drop requirement CUDA
     → allows: Knet 1.0.0, NNlib 0.8.21

Costlier fixes also exist.

after

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 6.3.1
  • CUDA 6.3.1 constrains NNlib ≤0.8.20, ≥0.9.0 (through Adapt and cuBLAS)
  • your compat leaves NNlib 0.8.21
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: CUDA 5.1.2, NNlib 0.8.21
    2. relax your compat on NNlib
       → allows: CUDA 6.3.1, NNlib 0.9.45
    3. drop requirement CUDA
       → allows: NNlib 0.8.21
    4. drop requirement NNlib
       → allows: CUDA 6.3.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires CUDA ≤3.13.1
  • your compat leaves CUDA 6.3.1
  One fix: drop requirement Knet
    → allows: CUDA 5.1.2

Or, without dropping requirement Knet:
  • relax your compat on CUDA and relax your compat on JLD2; or relax your
    compat on Knet and drop requirement CUDA
    → relaxing your compat on CUDA and relaxing your compat on JLD2 allows:
      CUDA 3.13.1, Knet 1.4.10, NNlib 0.8.21
    → relaxing your compat on Knet and dropping requirement CUDA allows: Knet
      1.0.0, NNlib 0.8.21

Costlier fixes also exist.

Knet+bump2-NNlib-JLD2

before

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 3.13.1
  • CUDA 3.13.1 requires BFloat16s 0.2.0
  • BFloat16s 0.2.0 constrains NNlib ≤0.9.44
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: BFloat16s 0.6.1, CUDA 6.3.1, NNlib 0.9.45
    2. relax your compat on NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1, NNlib 0.8.21
    3. drop requirement CUDA
       → allows: BFloat16s 0.6.1, NNlib 0.9.45
    4. drop requirement NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  One fix: drop requirement Knet
    → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on JLD2 and relax your compat on NNlib
     → allows: BFloat16s 0.2.0, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10, NNlib
       0.8.21

after

Unsatisfiable — 2 conflicts:

Conflict 1: CUDA and NNlib
  • your compat leaves CUDA 3.13.1
  • CUDA 3.13.1 requires BFloat16s 0.2.0
  • BFloat16s 0.2.0 constrains NNlib ≤0.9.44
  • your compat leaves NNlib 0.9.45
  Fix it by any one of:
    1. relax your compat on CUDA
       → allows: BFloat16s 0.6.1, CUDA 6.3.1, NNlib 0.9.45
    2. relax your compat on NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1, NNlib 0.8.21
    3. drop requirement CUDA
       → allows: BFloat16s 0.6.1, NNlib 0.9.45
    4. drop requirement NNlib
       → allows: BFloat16s 0.2.0, CUDA 3.13.1

Conflict 2: Knet
  • your compat leaves Knet 1.4.10
  • Knet 1.4.10 requires JLD2 ≤0.4.55
  • your compat leaves JLD2 0.6.6
  One fix: drop requirement Knet
    → allows: JLD2 0.6.6
  Blocked fixes:
    • dropping requirement JLD2 does not help.
    • relaxing your compat on Knet would not help unless you also dropped
      requirement CUDA and dropped requirement NNlib.

Or, without dropping requirement Knet:
  relax your compat on JLD2 and relax your compat on NNlib
  → allows: BFloat16s 0.2.0, CUDA 3.13.1, JLD2 0.4.55, Knet 1.4.10, NNlib
    0.8.21

Pluto+big20-upgrade

before

Unsatisfiable — 2 conflicts:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Pluto would not help unless you also relaxed
      your compat on HTTP and dropped requirement Configurations.

Conflict 2: Configurations
  • Configurations requires OrderedCollections 1.3.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: Configurations 0.17.6, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Configurations does not help.
    • dropping requirement OrderedCollections does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. drop requirement Configurations and drop requirement Pluto
     → allows: HTTP 2.6.7, OrderedCollections 2.0.1

after

Unsatisfiable — 2 conflicts:

Conflict 1: Pluto
  • Pluto requires HTTP ≤0.9.17, 1.0.2–1.11.0
  • your compat leaves HTTP 2.6.7
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, Pluto 1.0.3
    2. drop requirement Pluto
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.
    • relaxing your compat on Pluto would not help unless you also relaxed
      your compat on HTTP and dropped requirement Configurations.

Conflict 2: Configurations
  • Configurations requires OrderedCollections 1.3.0–1.8.2
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: Configurations 0.17.6, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on Configurations does not help.
    • dropping requirement OrderedCollections does not help.

Or, without relaxing your compat on OrderedCollections:
  drop requirement Configurations and drop requirement Pluto
  → allows: HTTP 2.6.7, OrderedCollections 2.0.1

Transformers+bump2-Flux-HTTP

before

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.16.11
  • Flux 0.16.11 requires Zygote ≤0.6.76, ≥0.7.0
  • your compat leaves Zygote 0.6.77
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.10, Zygote 0.6.77
    2. relax your compat on Zygote
       → allows: Flux 0.16.11, Zygote 0.7.13
    3. drop requirement Flux
       → allows: Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote does not help.

Conflict 2: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  One fix: drop requirement Transformers
    → allows: Flux 0.16.10
  Blocked fixes:
    • relaxing your compat on Transformers does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on Flux and relax your compat on HTTP
     → allows: Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77

after

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.16.11
  • Flux 0.16.11 requires Zygote ≤0.6.76, ≥0.7.0
  • your compat leaves Zygote 0.6.77
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.10, Zygote 0.6.77
    2. relax your compat on Zygote
       → allows: Flux 0.16.11, Zygote 0.7.13
    3. drop requirement Flux
       → allows: Zygote 0.6.77
  Blocked fixes:
    • dropping requirement Zygote does not help.

Conflict 2: Transformers
  • Transformers requires Flux ≤0.14.25
  • your compat leaves Flux 0.16.11
  One fix: drop requirement Transformers
    → allows: Flux 0.16.10
  Blocked fixes:
    • relaxing your compat on Transformers does not help.

Or, without dropping requirement Transformers:
  relax your compat on Flux and relax your compat on HTTP
  → allows: Flux 0.14.25, Transformers 0.3.1, Zygote 0.6.77

Transformers+bump2-Zygote-HTTP

before

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.11, Zygote 0.7.13
    2. relax your compat on Zygote
       → allows: Flux 0.14.25, Zygote 0.6.77
    3. drop requirement Flux
       → allows: Zygote 0.7.13
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.

Conflict 2: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on HTTP and relax your compat on Zygote
     → allows: Flux 0.14.25, HTTP 1.11.0, Transformers 0.3.1, Zygote 0.6.77

after

Unsatisfiable — 2 conflicts:

Conflict 1: Flux
  • your compat leaves Flux 0.14.25
  • Flux 0.14.25 requires Zygote ≤0.6.77
  • your compat leaves Zygote 0.7.13
  Fix it by any one of:
    1. relax your compat on Flux
       → allows: Flux 0.16.11, Zygote 0.7.13
    2. relax your compat on Zygote
       → allows: Flux 0.14.25, Zygote 0.6.77
    3. drop requirement Flux
       → allows: Zygote 0.7.13
  Blocked fixes:
    • dropping requirement Zygote would not help unless you also relaxed your
      compat on Flux, relaxed your compat on HTTP and relaxed your compat on
      Transformers.

Conflict 2: Transformers
  • Transformers requires HTTP ≤1.11.0 (through ArgParse, CUDAnative,
    DataDeps, Compat and Statistics)
  • your compat leaves HTTP 2.6.7
  One fix: drop requirement Transformers
    → allows: HTTP 2.6.7
  Blocked fixes:
    • relaxing your compat on Transformers does not help.
    • dropping requirement HTTP does not help.

Or, without dropping requirement Transformers:
  relax your compat on HTTP and relax your compat on Zygote
  → allows: Flux 0.14.25, HTTP 1.11.0, Transformers 0.3.1, Zygote 0.6.77