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.
** Also affects: ssreflect (Ubuntu)
Importance: Undecided
Status: New
--
[OCaml 3.11.2 transition][round 5/6] Please rebuild packages involved in OCaml
transition (universe)
https://bugs.launchpad.net/bugs/529408
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
