OPAM remove still insists on removing everything

[avsm]

obuild has no dependencies...

edu191n167:obuild avsm$ opam remove obuild
The following actions will be performed:
 - remove easy-format.1.0.1
 - remove cppo.0.9.3
 - remove biniou.1.0.5
 - remove menhir.20120123
 - remove yojson.1.1.3
 - remove atd.1.0.1
 - remove re.1.2.0
 - remove obuild.0.0.0
 - remove cmdliner.0.9.2
 - remove atdgen.1.2.2
 - remove uri.1.3.6
 - remove cryptokit.1.6
0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 12 to remove
Do you want to continue ? [Y/n] 

[rdicosmo]

Hi Anil, did you experiment also with the external solver? aspcud in particular?

On Sat, Jan 26, 2013 at 08:37:50AM -0800, Anil Madhavapeddy wrote:

obuild has no dependencies...

edu191n167:obuild avsm$ opam remove obuild The following actions will be performed:

• remove easy-format.1.0.1
• remove cppo.0.9.3
• remove biniou.1.0.5
• remove menhir.20120123
• remove yojson.1.1.3
• remove atd.1.0.1
• remove re.1.2.0
• remove obuild.0.0.0
• remove cmdliner.0.9.2
• remove atdgen.1.2.2
• remove uri.1.3.6
• remove cryptokit.1.6 0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 12 to remove Do you want to continue ? [Y/n]

— Reply to this email directly or view it on GitHub.

*

Roberto Di Cosmo

---

Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo

FRANCE. Twitter: http://twitter.com/rdicosmo

Attachments: MIME accepted, Word deprecated

http://www.gnu.org/philosophy/no-word-attachments.html

Office location:

Bureau 6C08 (6th floor) 175, rue du Chevaleret, XIII

Metro Chevaleret, ligne 6

GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3

[avsm]

On Sat, Jan 26, 2013 at 08:40:46AM -0800, Roberto Di Cosmo wrote:

Hi Anil, did you experiment also with the external solver? aspcud in particular?

not yet; I'm using OPAM in the default mode to hit bugs that most people will see (I think it's important that the default solver do a reasonable job, as most users don't have an external solver activated)

[samoht]

It's a bit suspicious than the remove actions does not have causes. Are you really running 0.9.2 (ie. don't you have an old opam binary installed in your ~/.opam/system/bin ? Next time this happen, I'd be very interested to get the CUDF file (ie. you can just add --cudf=FILENAME)

[avsm]

Here's a downgrade just now from installing async.108.08.00:

clink:packages avsm$ opam install async.108.08.00
....TThe following actions will be performed:
 - downgrade uri.1.3.6 to 1.3.1
 - install ocamlify.0.0.1 [required by async]
 - downgrade type_conv.109.07.00 to 108.08.00 [required by async]
 - downgrade bin_prot.109.07.00 to 108.08.00 [required by async]
 - downgrade comparelib.109.07.00 to 108.08.00 [required by async]
 - downgrade fieldslib.109.07.00 to 108.08.00 [required by async]
 - install ocaml-data-notation.0.0.10 [required by async]
 - downgrade pa_ounit.109.07.00 to 108.08.00 [required by async]
 - downgrade pipebang.109.07.00 to 108.08.00 [required by async]
 - downgrade sexplib.109.07.00 to 108.08.00 [required by async]
 - downgrade variantslib.109.07.00 to 108.08.00 [required by async]
 - install oasis.0.3.0 [required by async]
 - downgrade ounit.1.1.2 to 1.1.1 [required by async]
 - install core.108.08.00 [required by async]
 - install fileutils.0.4.4 [required by async]
 - install async_core.108.08.00 [required by async]
 - install ocamlmod.0.0.3 [required by async]
 - install async_unix.108.08.00 [required by async]
 - install async_extra.108.08.00 [required by async]
 - install async.108.08.00

Note that URI is downgraded without reason. Why! Why so cruel to poor URI!