Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-05

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:22 mornfall xstill: http://www.rouming.cz/upload/git_push_--force.jpg
11:55 ilbot3 joined #divine
11:55 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:35 ilbot3 joined #divine
12:35 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:15 xstill mornfall: máš zpoždění na schůzku DIVINE týmu v Trondheimu
18:43 mornfall xstill: cože? :)
20:15 xstill mornfall: no jsme tady většina týmu :-D
20:18 mornfall super :)
22:57 xstill mornfall: http://divine.fi.muni.cz/hydra/build/5189501/log/raw status říká, že test selhal, ale je to nějaká chyba ve virtuálce asi

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