[Agda] newest agda dependencies

Andreas Abel andreas.abel at ifi.lmu.de
Thu Feb 7 13:26:40 CET 2013

Hi Gabor,

Agda-executable is no longer needed, the (source of the) executable is 
part of the Agda-2.3.2 package.


On 07.02.2013 09:14, PÁLI Gábor János wrote:
> Hi Andreas,
> On Thu, Feb 07, 2013 at 08:57:09AM +0100, Andreas Abel wrote:
>> I do not have any insight into the deployment mechanisms of other
>> OSs, but if you think this is helpful then please go ahead.
> That is simple: there cannot be multiple versions of the same package present
> in the distribution, as far as I know this is the same for Debian, Fedora and
> many others, except Nix-based distributions, e.g. NixOS.
> As Agda-executable depends on Agda, I could only patch it to make it work
> with Agda 2.3.2 -- unless if I want to mark it broken, but I usually like to
> keep working packags in the Ports Collection :-)  But that is why I asked
> Peter, because I had a vague impression that Agda-executable is deprecated,
> so it seems this package could be indeed safely dropped, while I could move
> to the latest Agda in the meantime.
> Cheers,
> Gabor

Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de

More information about the Agda mailing list