companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
ensyde has joined #ocaml
rgrinberg has joined #ocaml
ensyde has quit [Quit: Leaving]
adanwan has quit [Ping timeout: 258 seconds]
adanwan has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
chrisz has quit [Ping timeout: 252 seconds]
gopiandcode has quit [Ping timeout: 252 seconds]
chrisz has joined #ocaml
gopiandcode has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
wilfred has quit [Quit: Connection closed for inactivity]
gopiandcode has quit [Ping timeout: 244 seconds]
gopiandcode has joined #ocaml
rgrinberg has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 265 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
gopiandcode has quit [Ping timeout: 265 seconds]
gopiandcode has joined #ocaml
azimut has quit [Ping timeout: 258 seconds]
ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]
ansiwen has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
sagax has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has joined #ocaml
williewi` has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
JeanMax` has left #ocaml [ERC 5.4 (IRC client for GNU Emacs 28.1)]
haesbaert has joined #ocaml
smudge-the-cat has joined #ocaml
smudge-the-cat has left #ocaml [#ocaml]
bartholin has joined #ocaml
azimut has joined #ocaml
mbuf has quit [Quit: Leaving]
xgqt has quit [Ping timeout: 252 seconds]
adanwan has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
adanwan has joined #ocaml
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
waleee has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> opam has been down for half a day right before the CPP 2023 deadline. Is there anyone here who knows anyone who is responsible for keeping it running?
orbifx has joined #ocaml
<reynir> kaustuv: you can (temporarily) set the default repo url to the github repository: opam repository set-url default git+https://github.com/ocaml/opam-repository
<kaustuv> Right, fortunately I have my own clone of that anyway. It's just I need to write instructions for the artifact evaluation committee and I need to think whether to include instructions for potential long term opam.ocaml.org problems. Maybe I will just play it conservative and put these instructions in.
<kaustuv> I see on discuss.ocaml.org that some people are working on it actively, so great.
<hannes> kaustuv: it is back up (https://opam.ocaml.org is replying with a website) :)
<Armael> looks like "opam update" is working again indeed
<reynir> \o/
xgqt has joined #ocaml
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
qwr has quit [Ping timeout: 268 seconds]
<kaustuv> Excellent!
kaustuv has left #ocaml [ERC 5.4.1 (IRC client for GNU Emacs 27.1)]
Haudegen has quit [Quit: Bin weg.]
<orbifx> is there another repo for opam?
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
orbifx has quit [Quit: orbifx]
<OCamlPro[m]> <Raja Boujbel> the git repo, there is no mirror (ftm)
olle has quit [Remote host closed the connection]
orbifx has joined #ocaml
Haudegen has joined #ocaml
jmiven has quit [Quit: reboot]
jmiven has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
szkl has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 264 seconds]
orbifx has quit [Ping timeout: 252 seconds]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
Serpent7776 has joined #ocaml
waleee has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
rgrinberg has joined #ocaml
qwr has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
motherfsck has quit [Quit: quit]
motherfsck has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
williewi` has joined #ocaml
orbifx has joined #ocaml
williewi` has quit [Changing host]
williewi` has joined #ocaml
williewi` is now known as williewillus
waleee has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
olle has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Tuplanolla has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
John_Ivan has quit [Quit: Phantom of the future.]
John_Ivan has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
midgard has quit [Ping timeout: 268 seconds]
CalimeroTeknik has quit [Ping timeout: 268 seconds]
CalimeroTeknik has joined #ocaml
CalimeroTeknik has quit [Changing host]
CalimeroTeknik has joined #ocaml
midgard has joined #ocaml
rgrinberg has joined #ocaml
olle has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 264 seconds]
Serpent7776 has quit [Quit: leaving]
Tuplanolla has quit [Ping timeout: 264 seconds]
orbifx has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml