Activity
From 06 Aug 2012 to 04 Sep 2012
03 Sep 2012
-
17:19 Bug #217 (Closed): Makedependencies of CoCoA-5 fails if BOOST is absent
- Niko reports that it works for him, so I'm closing this issue.
08 Aug 2012
-
20:15 Bug #220 (Resolved): Trouble on Linux: many CoCoA-5 tests fail (0.9952)
- Apparently my guess as to the cause was correct; well, replacing the global by function+static var seems to have reso...
-
20:11 Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent
- Niko had problems. I found some more (minor) bugs in @configure@.
Everything works as I want on my linux VM; waiti...
Also available in: Atom