[opam-devel] Aspcud 1.9.0 is out, and ready for packaging

[Roberto Di Cosmo]

The maintainer of aspcud, Roland Kaminski, has released a new version of the
aspcud solver for CUDF package dependency problems, which is 1.9.0, available here

   http://sourceforge.net/projects/potassco/files/aspcud

It is highly recommended to package this new version for opam, as it incorporates
one significant improvement in the preferences language, that now allows to
use three new package selectors: installrequest, upgraderequest, and request.

These can be used to elegantly guide the solver towards upgrade paths that have
very different behaviour for the packages mentioned on the command line
w.r.t. the others, like "upgrade all packages I mention, and leave alone the
others", but this will not be incorporated by default into opam until the
new version of aspcud is spread out widely.

Besides, there is now direct support for Windows and MacOS, and the solver
uses clasp-3 and its uncore algorithm for improved optimization.

In Debian, the package is already in experimental (will move into unstable
when the current transition is over)

https://packages.debian.org/fr/source/experimental/aspcud

Happy packaging

-- 
Roberto
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at 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 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3