Le mercredi, 17 décembre 2014 à 11:29, Simon Cruanes a écrit : > - agnosticity seems mostly useful for porting opam to coq - most other > languages have their own package manager.
I think it's also useful as a sanity check to ensure you don't specialize for things that are specific to the current state of affairs but could improve in the future (see e.g. PR #1902). Best, Daniel _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
