Re: ANN: pandoc 1.12.1, pandoc-citeproc 0.1.2.1

[Ivan Lazar Miljenovic <ivan.miljenovic-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>]

On 21 October 2013 16:59, Manolo Martínez <manolo-gKuGghLfFCp4q6Scyk2RvwC/G2K4zDHf@public.gmane.org> wrote:
> Hello, John,
>
> Thanks for the release.
>
> Again for this release I've got the scary "the following packages are
> likely to be broken" message. I think I know now how to go about that,
> after last time, but I was wondering if it would be possible to change
> whatever in the installation process is misleading cabal here.

There's nothing to change (or at least nothing that can be changed):
you're updating libraries that other libraries depend on, but not
uninstalling anything.

Either do sandboxed builds (which would require re-building everything
for every update) or just ignore them.

>
> Manolo
>
> --
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/20131021055916.GA502%40ManoloMartinez.localdomain.
> For more options, visit https://groups.google.com/groups/opt_out.



-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org
http://IvanMiljenovic.wordpress.com

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CA%2Bu6gbwFsk9kjqbQXzOtDPY0c%2BziDsMBUDWhnMZWBJjt6%3Dji4Q%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.