Brauche neueres Agda als in Wheezy enthalten

[ben.a]

Hallo,

ich benutze Wheezy auf meinen Rechnern. Nun brauche ich eine neuere Version von Agda als die in Wheezy enthaltene. Die in Sid gepackte Version (2.3.2.1) wäre geeignet.
Könnte ich auf diese Version upgraden, durch temporäres Einbinden der Sid-Repos? Wie sollte ich hier genau vorgehen? Und kann ich dieses Upgrade irgendwie testen (dry-run o.ä.), um sicherzugehen, dass ich dabei nicht die gesamte Installation unbrauchbar mache?

Vielen Dank.
ben

[guenterq]

Ich würde mir Agda 2.3.2.1 als deb-file von http://packages.debian.org/sid/agda ziehen und unter Wheezy installieren. Bei der Vorbereitung zum installieren bekommst Du ja vom System gemeldet ob beispielsweise alle Abhängikeiten erfüllt werden.

[rendegast]

Funktioniert aber nicht mit 64bit:

Code: Alles auswählen

Package: agda-bin (2.3.2.1-1 and others) 
...
dep: libc6 (>= 2.11) [i386, powerpc, sparc]
    Embedded GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb 

dep: libc6 (>= 2.14) [amd64]
...

Dann selber bauen oder zumindest Upgrade auf jessie.

[ben.a]

Alles klar, ich probiers so wie von guenterq vorgeschlagen - ich habe i386 installiert.
Vielen Dank,
ben

[ben.a]

Leider muss man wohl auch viele GHC-Pakete updaten...

Code: Alles auswählen

dpkg: dependency problems prevent configuration of libghc-agda-dev:
 libghc-agda-dev depends on libghc-quickcheck-dev-2.6-d62fc; however:
  Package libghc-quickcheck-dev-2.6-d62fc is not installed.
 libghc-agda-dev depends on libghc-array-dev-0.4.0.1-63807; however:
  Package libghc-array-dev-0.4.0.1-63807 is not installed.
 libghc-agda-dev depends on libghc-base-dev-4.6.0.1-ced5f; however:
  Package libghc-base-dev-4.6.0.1-ced5f is not installed.
 libghc-agda-dev depends on libghc-binary-dev-0.5.1.1-5b8f9; however:
  Package libghc-binary-dev-0.5.1.1-5b8f9 is not installed.
 libghc-agda-dev depends on libghc-bytestring-dev-0.10.0.2-0b661; however:
  Package libghc-bytestring-dev-0.10.0.2-0b661 is not installed.
 libghc-agda-dev depends on libghc-containers-dev-0.5.0.0-3b8b8; however:
  Package libghc-containers-dev-0.5.0.0-3b8b8 is not installed.
 libghc-agda-dev depends on libghc-deepseq-dev-1.3.0.1-aa1be; however:
  Package libghc-deepseq-dev-1.3.0.1-aa1be is not installed.
 libghc-agda-dev depends on libghc-di
dpkg: error processing libghc-agda-dev (--install):
 dependency problems - leaving unconfigured

EDIT:
Ich werde wohl das aktuelle Agda in einer VM aus den Quellen kompilieren.