tlockney is now known as tlockney_away
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
boogie has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
dsheets has joined #mirage
<hannes> hmm, I remember https://mirage.github.io/ showed me the API documentations, but it seems to be broken these days. any ideas what's wrong / who can fix that?
djs55 has joined #mirage
djs55 has quit [Client Quit]
AltGr has joined #mirage
thomasga has joined #mirage
djs55 has joined #mirage
cr409 has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
thomasga has joined #mirage
tcm has joined #mirage
<tcm> hi, anyone around?
thomasga1 has joined #mirage
thomasga has quit [Read error: Connection reset by peer]
thomasga1 has quit [Ping timeout: 272 seconds]
tcm has quit [Ping timeout: 246 seconds]
avsm has joined #mirage
alexInChina has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
<cebka> thomasga: is there any index to query from the C code for opam packages? e.g. to find packages that satisifies some user's pattern
<thomasga> what kind of pattern ?
<cebka> currently, I see only a set of directories structured by package name
<cebka> thomasga: 'give me packages that matches specific name'
<cebka> where match could be either exact match, or glob match, or some sort of regexp
<thomasga> `opam search <glob>`
<thomasga> but there is no C library for that
<cebka> I don't want to call binary for this purposes, as this query can be called for like thousands of packages
<thomasga> (there is an OCaml library though, eg. opam-lib which installs the opam API)
<thomasga> but no C bindings to it
<cebka> do you recommend to write C bindings for it or parse opam repo directly from C code?
<cebka> currently, we use sqlite3 for repos
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
<avsm> cebka: probably easiest to dump the opam repo db into sqlite directly (this is for virtual packages?)
<cebka> avsm: yup, I was thinking about it. update operation can be expensive, but how can I learn in this case that my sqlite database is up to date?
tcm has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
thomasga has joined #mirage
alexInChina has quit [Ping timeout: 240 seconds]
jludlam has joined #mirage
jludlam is now known as jonludlam
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
boogie has quit [Remote host closed the connection]
cr409 has quit [Ping timeout: 240 seconds]
tcm has quit [Ping timeout: 246 seconds]
boogie has joined #mirage
jonludlam has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
avsm has joined #mirage
thomasga has joined #mirage
tlockney is now known as tlockney_away
AltGr has left #mirage [#mirage]
avsm has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 240 seconds]
djs55 has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
dsheets has joined #mirage
tlockney_away is now known as tlockney
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
djs55 has joined #mirage
thomasga has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
yomimono has joined #mirage
djs55 has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor_ has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 240 seconds]
philtor_ has quit [Ping timeout: 240 seconds]
philtor_ has joined #mirage
thomasga has joined #mirage