nullifidian__ has quit [Ping timeout: 276 seconds]
nullifidian_ is now known as nullifidian
zolk3ri has quit [Remote host closed the connection]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 246 seconds]
jbrown has quit [Read error: Connection reset by peer]
vicfred has quit [Quit: Leaving]
mfp has quit [Ping timeout: 265 seconds]
tormen_ has joined #ocaml
rople has joined #ocaml
tormen has quit [Ping timeout: 276 seconds]
count3rmeasure has joined #ocaml
rople has quit [Quit: rople]
ravenousmoose has joined #ocaml
kjak has quit [Ping timeout: 246 seconds]
ravenousmoose has quit [Ping timeout: 276 seconds]
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
gravicappa has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 276 seconds]
rople has joined #ocaml
user____ has joined #ocaml
narimiran has joined #ocaml
_5HT has quit [Remote host closed the connection]
rople has quit [Ping timeout: 268 seconds]
mbuf has joined #ocaml
unyu has quit [Quit: unyu a reboot]
unyu has joined #ocaml
vicfred has joined #ocaml
ggole has joined #ocaml
user____ has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
bitwinery has quit [Quit: Leaving]
ravenousmoose has joined #ocaml
barockobamo has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dmiles_afk has quit [Read error: Connection reset by peer]
dmiles has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
count3rmeasure has quit [Quit: Leaving]
TC01 has quit [Remote host closed the connection]
nicoo has quit [Remote host closed the connection]
pino|work has quit [Quit: brb]
TC01 has joined #ocaml
pino|work has joined #ocaml
nicoo has joined #ocaml
<def`>
sarahzrf: I keep a separate opam switch for coq, so that I don't have to recompile when there are ocaml changes (it is still using ocaml 4.06.1)
barockobamo has quit [Read error: Connection reset by peer]
barockobamo2 has joined #ocaml
barockobamo has joined #ocaml
barockobamo2 has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
vbmithr has joined #ocaml
jbrown has joined #ocaml
kakadu has joined #ocaml
user____ has joined #ocaml
kakadu_ has joined #ocaml
tadeusz has joined #ocaml
tadeusz has quit [Client Quit]
zolk3ri has joined #ocaml
kakadu has quit [Ping timeout: 245 seconds]
gravicappa has joined #ocaml
picolino has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Read error: Connection reset by peer]
Avenger22 has joined #ocaml
Avenger22 has quit [Remote host closed the connection]
user____ has quit [Quit: Lost terminal]
gareppa has joined #ocaml
nullifidian_ is now known as nullifidian
gravicappa has quit [Ping timeout: 246 seconds]
gareppa has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
Niamkik has quit [Ping timeout: 268 seconds]
zolk3ri has quit [Remote host closed the connection]
Niamkik has joined #ocaml
<Leonidas>
sarahzrf: it is generally advisable to avoid using the system switch in case of the distribution rolling in that or another way.
kjak has joined #ocaml
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
whoopwhoop has joined #ocaml
slice has quit [Ping timeout: 246 seconds]
slice has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
ygrek has joined #ocaml
crichoux has joined #ocaml
laudecay has joined #ocaml
zolk3ri has joined #ocaml
philtor has quit [Ping timeout: 245 seconds]
philtor has joined #ocaml
laudecay has quit [Ping timeout: 240 seconds]
crichoux has quit [Ping timeout: 265 seconds]
crichoux has joined #ocaml
crichoux has quit [Changing host]
crichoux has joined #ocaml
laudecay has joined #ocaml
whoopwhoop has quit [Remote host closed the connection]
Sagiliste has joined #ocaml
Sagiliste has quit [Remote host closed the connection]
zolk3ri has quit [Remote host closed the connection]
spew has joined #ocaml
zolk3ri has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
crichoux has quit [Ping timeout: 240 seconds]
laudecay has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
q9929t has joined #ocaml
gareppa has joined #ocaml
picolino has joined #ocaml
barockobamo has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 245 seconds]
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
q9929t has quit [Quit: q9929t]
gravicappa has joined #ocaml
crichoux has joined #ocaml
crichoux has joined #ocaml
crichoux has quit [Changing host]
laudecay has joined #ocaml
crichoux has quit [Quit: WeeChat 2.5]
laudecay has quit [Quit: WeeChat 2.5]
laudecay has joined #ocaml
laertus has joined #ocaml
<laertus>
there's a recent article on Linux kernel development process' reliance on the PGP web of trust, and how that's under threat right now, partially due to the lack of maintenance of PGP key servers
AtumT has joined #ocaml
<laertus>
in the comment thread in that article there's this comment: "I *have* considered running a non-connected SKS instance, but at this point in time everyone seems to consider SKS as pretty much dead -- it's not maintained and nobody is willing to step up or so much as touch it due to any number of reasons (largely, because OCaml is just too esoteric)."