Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-01-14

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
13:41 ilbot3 joined #divine
13:41 topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:04 xstill hm, divine se sice zkompiluje proti llvm 3.4 ale testy neprojdou. Ale to je asi tím že mám clang 3.3.
20:53 xstill hm, kvůli nějakýmu zatracenýmu update musím přebuildovat i gcc
22:42 spito joined #divine
23:05 spito joined #divine

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary