distro: Add mpfrcx and fplll.
[jackhill/guix/guix.git] / .dir-locals.el
2012-10-31 Ludovic CourtèsAdd (guix ui).
2012-09-26 Ludovic Courtèsdistro: Add the `guile', `typesetting', and `databases...