Fabrizio Ferrai

If you have `[email protected]` you can use any package set made for `[email protected]`, if `Y >= Z`. So `[email protected]` can use any package set made for any purs `0.15.X`. FWIW,...

Oh sorry, I was entirely convinced it was in spago in the first place. I moved it now.

Separate PR is good practice here, since every one of them is squashed in a single commit and it's good to review unrelated patches separately.

We only support packages coming from GitHub at the moment - we intend to add support for other providers once Spago and the Registry get out of beta. See https://github.com/purescript/registry-dev/pull/204...

You can add the newly published library to the `extraPackages` just fine if you refer to the registry version instead of pointing to the url of the repo, e.g. ```...

I don't understand - you're supposed to have `newly-published-library` in your dependencies all along if your code depends on it, and the registry even forces you to include ranges for...

You're welcome. I think we should be documenting this better - would you like to put together a small paragraph about this?

I considered this before (I would have called the flag `--pedantic-packages-autofix`) but ultimately decided to not go for it - and the main reason is that in a monorepo setting...

@CGenie the publishing checks include verifying that the dependencies of your package are accurate, so that: - the list of dependencies does not contain packages that are not being imported...

Btw, the reason why you can have only `prelude` in the list of dependencies and have all the other packages available (such as `array`, etc) is that you have things...