I've just added ssreflect (1.2+dfsg-3). I didn't put it the first time because it depends on coq, which fails to build on armel. I don't have time to investigate this failure right now, and I'd rather see ssreflect recompiled so that it is installable on most architectures in Lucid.
I've just added ssreflect (1.2+dfsg-3). I didn't put it the first time because it depends on coq, which fails to build on armel. I don't have time to investigate this failure right now, and I'd rather see ssreflect recompiled so that it is installable on most architectures in Lucid.