aktuelle pakete in stable verwenden

[ben.a]

hallo,

ich benutze debian stable, benoetige nun aber eine aktuelle version des formalen beweisers 'Coq'.
leider ist mir bei der lektuere der anleitungen nicht klar geworden, was nun der beste weg ist, diese zu installieren. es ist sowohl der quellcode als auch ein compiliertes binary verfuegbar, aber auch das testing-paket von debian, welches ausreichen wuerde.

ich denke, das einfachste waere es, aus dem binary ein deb-paket zu bauen und zu installieren.
ist das richtig?

vielen dank,
ben

[pagaty]

huhu,

versuch mal, ob es mit den quellen von
http://www.backports.org/debian/README.mirrors.html
Backports hinhaut. die sind aktueller.

lg

pagaty