hannes changed the topic of #mirage to: https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.10 is released - happy hacking!
zhln_ has joined #mirage
zhln has quit [Read error: Connection reset by peer]
mort___88593294 has quit [Quit: Ping timeout (120 seconds)]
mort___88593294 has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
ozzymcduff has joined #mirage
dobson has quit [Quit: Leaving]
dobson has joined #mirage
ozzymcduff has quit [Quit: Textual IRC Client: www.textualapp.com]
Haudegen has joined #mirage
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
<ehmry> is wodan abandoned?
<ehmry> how can installing opam packages cause other packages to be recompiled?
<avsm[m]> because packages can have optional dependencies, and if those are installed then the dependent packages are recompiled to gain the new functionality
<avsm[m]> <ehmry "I would hate opam a little less "> please do file an issue about this on https://github.com/ocaml/opam/issues and we'd be pleased to look into improving it
<ehmry> it feels like there are potential problems of statefulness, indeterminism, and dependency cycles at every step
jpds has quit [Ping timeout: 240 seconds]
ozzymcdu_ has joined #mirage
<ehmry> heres a good example, one day I fix a package with a broken dependency and pin it without a version. the next day I try to pin it again because other package breaks when this package has the version "dev". I pin it today and now it doesn't build
Haudegen has quit [Quit: Bin weg.]
jpds has joined #mirage
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
Haudegen has joined #mirage
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
ozzymcdu_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
damjan has quit [Quit: bye]
damjan has joined #mirage
Haudegen has quit [Ping timeout: 265 seconds]