N0REP0
### :::::: removal of partial dependencies (#4727)
### <pkg:a.1>
opam-version: "2.0"
### <pkg:b.1>
opam-version: "2.0"
### <pkg:c.1>
opam-version: "2.0"
depends: "a" | "b"
### opam switch create default --empty
### opam install a b c
The following actions will be performed:
=== install 3 packages
  - install a 1
  - install b 1
  - install c 1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed a.1
-> installed b.1
-> installed c.1
Done.
### opam remove a --show
The following actions would be performed:
=== remove 1 package
  - remove    a 1
=== recompile 1 package
  - recompile c 1 [uses a]
### opam remove --auto --show
Nothing to do.
### opam remove a --auto --show
The following actions would be performed:
=== remove 1 package
  - remove    a 1
=== recompile 1 package
  - recompile c 1 [uses a]
### :::::: message on removal of an unavailable package (#4890)
### <pkg:z.1>
opam-version: "2.0"
available: false
### <pkg:w.1>
opam-version: "2.0"
depends: "z"
### opam remove z
[NOTE] z is not installed.

Nothing to do.
### opam remove w
[NOTE] w is not installed.

Nothing to do.
