2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
00:25
brson has quit [Quit: leaving]
00:27
AltGr has joined #mirage
01:18
vpm has quit [Remote host closed the connection]
01:30
vanila has quit [Quit: Leaving]
01:40
brson has joined #mirage
01:59
brson has quit [Ping timeout: 245 seconds]
02:28
rgrinberg has quit [Quit: Leaving.]
02:33
rgrinberg has joined #mirage
04:03
rgrinberg has quit [Quit: Leaving.]
04:04
rgrinberg has joined #mirage
04:16
brson has joined #mirage
04:49
MrScout has joined #mirage
04:53
MrScout has quit [Read error: Connection reset by peer]
04:54
MrScout has joined #mirage
05:34
MrScout has quit [Ping timeout: 246 seconds]
05:36
MrScout_ has joined #mirage
05:38
brson_ has joined #mirage
05:40
brson has quit [Ping timeout: 264 seconds]
05:41
MrScout_ has quit [Ping timeout: 252 seconds]
05:49
brson_ has quit [Ping timeout: 265 seconds]
06:19
kdef has joined #mirage
06:25
MrScout_ has joined #mirage
06:32
MrScout_ has quit [Ping timeout: 256 seconds]
06:42
badgermind_ has joined #mirage
06:43
badgermind_ has quit [Client Quit]
06:59
larhat has joined #mirage
07:35
larhat has quit [Quit: Leaving.]
08:11
kdef has quit [Ping timeout: 245 seconds]
08:21
rgrinberg has quit [Quit: Leaving.]
08:26
rgrinberg has joined #mirage
08:34
dsheets has joined #mirage
09:18
larhat has joined #mirage
09:20
djs55 has joined #mirage
09:23
rgrinberg has quit [Quit: Leaving.]
09:37
djs55 has quit [Quit: Leaving.]
10:04
jonludlam has joined #mirage
10:15
yomimono has joined #mirage
10:17
mort___ has joined #mirage
10:21
jgjl has joined #mirage
10:40
rcpavlicek has joined #mirage
10:45
<
rcpavlicek >
The Mirage OS info on the Xen Project wiki is pretty threadbare. It would be good to add some V2 reference information there for people who want info about Mirage OS. As this is Xen Project Document Day, feel free to hang out in #xendocs and lend a hand.
10:58
djs55 has joined #mirage
11:19
AltGr has left #mirage [#mirage]
11:34
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
11:45
vanila has joined #mirage
11:55
jgjl has joined #mirage
12:05
jonludlam has quit [Ping timeout: 272 seconds]
12:07
cr409 has joined #mirage
12:09
jonludlam has joined #mirage
12:51
cr409 has quit [Ping timeout: 272 seconds]
13:37
yomimono has quit [Ping timeout: 255 seconds]
13:47
cr409 has joined #mirage
13:52
cr409 has quit [Ping timeout: 264 seconds]
13:52
yomimono has joined #mirage
13:55
mort___1 has joined #mirage
13:56
mort___ has quit [Ping timeout: 265 seconds]
13:59
mort___1 has quit [Ping timeout: 252 seconds]
14:01
yomimono has quit [Ping timeout: 264 seconds]
14:11
yomimono has joined #mirage
14:28
tom39291 has left #mirage [#mirage]
14:48
cr409 has joined #mirage
15:04
mort___ has joined #mirage
15:38
rgrinberg1 has joined #mirage
15:47
kdef has joined #mirage
15:51
amirmc has joined #mirage
15:53
<
amirmc >
djs55, you there?
15:54
<
dsheets >
maybe it's already tracked somewhere but tls 0.3.0 and mirage 2.2.0 don't get along (cstruct v iopage type error)
15:55
<
dsheets >
also between dns 0.12.0/0.13.0 and mirage 2.2.0
15:59
thomasga has joined #mirage
16:00
talex5 has joined #mirage
16:00
<
dsheets >
maybe it's already tracked somewhere but tls 0.3.0 and mirage 2.2.0 don't get along (cstruct v iopage type error)
16:00
<
dsheets >
also between dns 0.12.0/0.13.0 and mirage 2.2.0
16:02
kdef has quit [Quit: Leaving]
16:03
kdef has joined #mirage
16:17
avsm has joined #mirage
16:22
amirmc has quit [Quit: Leaving.]
16:23
<
dsheets >
talex5, cool. it's causing travis breakage on unrelated packages with tls and dns
16:24
<
dsheets >
perhaps we should put in a constraint to limit mirage 2.2.0 at io-page <1.3.0?
16:24
<
dsheets >
or in each user package?
16:24
<
talex5 >
Yes. Some of the problems are tracked here:
16:25
<
talex5 >
Lots of things broke - sorry :-(
16:26
<
talex5 >
I think there are patches available for everything though. Let me know if I missed any.
16:30
<
avsm >
talex5: mirage block xen too, aiii
16:31
<
avsm >
is mirage call over?
16:31
<
mort___ >
yes call over
16:31
<
avsm >
ib -o lib/blkfront.cmo lib/blkfront.ml
16:31
<
avsm >
Error: Unbound value Io_page.of_cstruct_exn
16:31
<
avsm >
File "lib/blkfront.ml", line 492, characters 2-24:
16:32
<
talex5 >
Depends on mirage/io-page#16
16:35
<
avsm >
mountain of email
16:35
<
avsm >
how broken is everything currently?
16:35
<
avsm >
a lot of packages to release?
16:35
<
avsm >
or just a few stragglers?
16:36
<
avsm >
debugging the rt infrastructure, brrrr
16:36
<
avsm >
surely some things in skeleton use mirage-block-xen, so taht should never pass
16:36
<
avsm >
unless some mysterious solver behaviour selected the old iopage
16:37
<
talex5 >
Yeah, something odd there. I see the Git repo has an (old) version number in the opam file. Maybe that messed the testing up somehow?
16:37
<
talex5 >
(repo of io-page)
16:38
kdef has quit [Ping timeout: 240 seconds]
16:41
<
avsm >
aha, so one of the constraints kicked in
16:42
<
avsm >
a bit too far down, not to 1.2.0 for some reason
16:43
<
avsm >
why on earth is cstruct 1.0.1 getting picked for older ocaml?
16:43
<
avsm >
i mean, this helps us find slightly wrong constraints, but i swear this never happened before :)
16:44
tlockney_away is now known as tlockney
16:49
mort___ has quit [Ping timeout: 272 seconds]
16:56
avsm has quit [Quit: Leaving.]
17:00
talex5 has quit [Quit: Saliendo]
17:15
vpm has joined #mirage
17:22
yomimono has quit [Ping timeout: 272 seconds]
17:32
kdef has joined #mirage
17:45
dsheets has quit [Ping timeout: 264 seconds]
17:49
jonludlam has quit [Ping timeout: 246 seconds]
18:08
rgrinberg1 has quit [Remote host closed the connection]
18:29
thomasga has quit [Quit: Leaving.]
18:40
tlockney is now known as tlockney_away
18:43
djs55 has quit [Quit: Leaving.]
18:43
rgrinberg has joined #mirage
18:46
brson has joined #mirage
18:47
seangrove has joined #mirage
19:11
MrScout has joined #mirage
19:17
avsm has joined #mirage
19:20
dsheets has joined #mirage
19:21
MrScout has quit [Remote host closed the connection]
19:23
jgjl has joined #mirage
19:34
jgjl_ has joined #mirage
19:35
jgjl has quit [Ping timeout: 264 seconds]
19:48
seangrove has quit [Remote host closed the connection]
19:51
MagBo has quit [Ping timeout: 256 seconds]
20:06
bugabinga has quit [Remote host closed the connection]
20:07
djs55 has joined #mirage
20:15
mort___ has joined #mirage
20:25
jgjl_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
20:27
mort___ has quit [Quit: Leaving.]
20:42
avsm has quit [Quit: Leaving.]
20:52
vanila has quit [Quit: Leaving]
21:04
tlockney_away is now known as tlockney
21:05
Leonidas has quit [Ping timeout: 265 seconds]
21:06
Leonidas has joined #mirage
21:07
cebka has joined #mirage
21:08
MagBo has joined #mirage
21:08
cebka_ has quit [Ping timeout: 272 seconds]
21:09
gperetin has quit [Ping timeout: 272 seconds]
21:11
gperetin has joined #mirage
21:13
djs55 has quit [Quit: Leaving.]
21:14
mort___ has joined #mirage
21:16
vpm has quit [Ping timeout: 264 seconds]
21:30
jgjl has joined #mirage
21:34
vpm has joined #mirage
21:36
tlockney is now known as tlockney_away
21:48
vpm has quit [Ping timeout: 264 seconds]
21:54
vpm has joined #mirage
21:58
bugabinga has joined #mirage
21:58
bugabinga has quit [Remote host closed the connection]
21:59
jonludlam has joined #mirage
21:59
tlockney_away is now known as tlockney
22:00
bugabinga has joined #mirage
22:09
mort___ has quit [Quit: Leaving.]
22:22
MrScout_ has joined #mirage
22:33
MrScout_ has quit [Read error: Connection reset by peer]
22:34
MrScout_ has joined #mirage
22:43
andreas has joined #mirage
22:43
MrScout_ has quit [Ping timeout: 265 seconds]
22:47
djs55 has joined #mirage
22:57
dsheets has quit [Ping timeout: 245 seconds]
22:58
dsheets has joined #mirage
23:13
djs55 has quit [Quit: Leaving.]
23:15
cr409 has quit [Ping timeout: 276 seconds]
23:16
andreas has quit [Ping timeout: 240 seconds]
23:35
jonludlam has quit [Ping timeout: 246 seconds]
23:36
cr409 has joined #mirage
23:57
dsheets has quit [Ping timeout: 272 seconds]