tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
boogie has quit [Remote host closed the connection]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 272 seconds]
AltGr has joined #mirage
thomasga has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
djs55 has quit [Client Quit]
djs55 has joined #mirage
dsheets has joined #mirage
thomasga has quit [Quit: Leaving.]
avsm has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
<avsm> noddy: copyright needs author names
<dsheets> avsm, does launchpad let you build lucid PPAs?
<dsheets> i'd like to get a 2.6 kernel in the mix
<avsm> hm, dont think so
<avsm> it might since its lts
<avsm> let me try
<hannes> avsm: actually, tls.openmirage.org should be the servername... to make it clear that we do not do ssl ;)
<avsm> hannes: yep, just generating csr for hostname now
<avsm> dsheets: yep lucid accepted
<avsm> and 2.6 kernel is a godo idea
<avsm> i can do 4.01 when it works too
<dsheets> that would be good, i am using 4.01 to avoid surprises
<dsheets> though i guess i could provide some more exercise for 4.02
<avsm> best stick wth stable
<noddy> avsm: can i directly pin a git repo with an opam file, if there is no opam repo containing it?
<avsm> in opam 1.2, but not 1.1
<noddy> my `opam --version` == 1.2, although from git :)
<noddy> avsm: licenses and stuff: better?
<noddy> we'll do per-file headers later
<dsheets> avsm, i think opam-experimental needs a lucid opam build in addition to ocaml (perhaps they are dependent on each other, though)
<avsm> noddy: yep looks good. reason for per-file headers is that it's easier to distinguish your claims
<avsm> for example, you're not relicensing the public domain C files under the project license are you? It currently implies that
<avsm> dsheets: yep, will do. working through the opam makefile patch atm
<avsm> giving up on globalsign and getting a gandi multidomain cert instead
<dsheets> haha https://raw.github.com serves a www.github.com cert ??!
<hannes> I also shortened the blog post in the papers repo.. feedback welcome (just do it in-place)!
<avsm> dsheets: it uses alternate names
<avsm> hannes: is this going on om.org btw?
<avsm> cos i'll do a mirage 2.0 post to prep first if so
<hannes> avsm: that was the idea, yes
<avsm> just checking, too many blogs these days :P
<hannes> avsm: I didn't want to introduce yet another blog ;)
<dsheets> avsm, aye, lucid's wget is a bit dull
agarwal1975 has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
mcclurmc has quit [Remote host closed the connection]
avsm1 has joined #mirage
avsm has quit [Ping timeout: 245 seconds]
philtor_ has joined #mirage
tlockney_away is now known as tlockney
mcclurmc has joined #mirage
philtor_ has quit [Ping timeout: 264 seconds]
Masoud_ has joined #mirage
djs55 has quit [Quit: Leaving.]
Masoud_ has left #mirage [#mirage]
avsm1 has quit [Read error: Connection reset by peer]
avsm has joined #mirage
noddy has quit [Ping timeout: 252 seconds]
noddy has joined #mirage
avsm has quit [Client Quit]
boogie has joined #mirage
rgrinberg has joined #mirage
avsm has joined #mirage
avsm has quit [Client Quit]
avsm has joined #mirage
AltGr has left #mirage [#mirage]
avsm has quit [Client Quit]
avsm has joined #mirage
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #mirage
avsm has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 245 seconds]
dsheets has joined #mirage
tlockney is now known as tlockney_away
agarwal1975 has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
agarwal1975 has joined #mirage
rgrinberg has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
dsheets has quit [Ping timeout: 252 seconds]
philtor_ has joined #mirage
agarwal1975 has quit [Ping timeout: 264 seconds]
agarwal1975 has joined #mirage
tlockney is now known as tlockney_away
djs55 has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
thomasga has joined #mirage
philtor_ has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #mirage
djs55 has quit [Quit: Leaving.]
dezzy has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: Leaving.]
dezzy has joined #mirage
philtor_ has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
rgrinberg has joined #mirage
philtor_ has quit [Ping timeout: 255 seconds]
philtor_ has joined #mirage