matthewbauer has joined #nixos-dev
matthewbauer has quit [Ping timeout: 248 seconds]
lassulus_ has joined #nixos-dev
lassulus has quit [Ping timeout: 264 seconds]
lassulus_ is now known as lassulus
Sonarpulse has quit [Ping timeout: 260 seconds]
phreedom has quit [Remote host closed the connection]
phreedom has joined #nixos-dev
layus has joined #nixos-dev
matthewbauer has joined #nixos-dev
matthewbauer has quit [Ping timeout: 240 seconds]
<
peti>
Profpatsch: Is that just purescript_0_11_7? Or will we need additional dependencies in older versions to be able to actually build it?
<
peti>
Profpatsch: If it's just that one package, then you can just add it into the 'extra-packages' stanza in configuration-hackage2nix.yaml.
aristid has quit [Ping timeout: 245 seconds]
aristid has joined #nixos-dev
<
Profpatsch>
peti: I’m afraid Purescript’s dependencies are probably going to change (probably already did change).
<
Profpatsch>
So we’d need to keep the transitive dependencies. (It has about two dozen dependencies)
<
Profpatsch>
mean there’s already a mechanism to generate explicit versions of packages that are needed for some packages, right?
<
Profpatsch>
Or is it impossible to add specific packages to that?
<
manveru>
i think aeson does that
<
manveru>
at least i needed an explicit version for elm
<
manveru>
aeson_0_7_0_6 and aeson_1_3_1_1 exist
orivej has quit [Ping timeout: 245 seconds]
phreedom has quit [Ping timeout: 250 seconds]
orivej has joined #nixos-dev
phreedom has joined #nixos-dev
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-dev
Sonarpulse has joined #nixos-dev
ixxie has joined #nixos-dev
bbarker has joined #nixos-dev
matthewbauer has joined #nixos-dev
bbarker has quit [Ping timeout: 240 seconds]
<
ixxie>
niksnut: would you be open to somebody with experience with formal verification to get involved with the next generation NixDSL?
pie_ has joined #nixos-dev
jtojnar has joined #nixos-dev
Lisanna has joined #nixos-dev
joepie91 has quit [Excess Flood]
joepie91 has joined #nixos-dev
joepie91 has quit [Excess Flood]
joepie91 has joined #nixos-dev
ixxie has quit [Ping timeout: 240 seconds]
rsa_ has quit [Ping timeout: 240 seconds]
rsa has joined #nixos-dev
<
peti>
Profpatsch: See the 'extra-packages' stanza in configuration-hackage2nix.yaml.
<
Profpatsch>
peti: Okay, thanks.
<
Profpatsch>
peti: This is not auto-generated?
<
Profpatsch>
Or parts of it?
<
peti>
Profpatsch: The LTS versions are autogenerated. The rest is maintained manually.
<
Profpatsch>
Ah, I see.
goibhniu has joined #nixos-dev
<
Profpatsch>
peti: Hm, can I test a change locally? Searching through nixpkgs for hackage2nix or similar is not very illuminating.
_rvl has quit [Ping timeout: 276 seconds]
averell has quit [Ping timeout: 245 seconds]
Mic92 has quit [Ping timeout: 245 seconds]
Mic92 has joined #nixos-dev
averell has joined #nixos-dev
thefloweringash[ has quit [Ping timeout: 255 seconds]
pstn has quit [Ping timeout: 255 seconds]
rycee has quit [Ping timeout: 245 seconds]
ixxie has joined #nixos-dev
hedning[m] has quit [Ping timeout: 260 seconds]
<
peti>
Profpatsch: hackage2nix is in that repo.
Drakonis[m] has quit [Ping timeout: 240 seconds]
timokau[m] has quit [Ping timeout: 260 seconds]
hl has quit [Ping timeout: 256 seconds]
peterhoeg has quit [Ping timeout: 240 seconds]
crystalgamma[m] has quit [Ping timeout: 240 seconds]
sphalerit has quit [Ping timeout: 240 seconds]
primeos[m] has quit [Ping timeout: 255 seconds]
_rvl has joined #nixos-dev
olejorgenb[m] has quit [Ping timeout: 260 seconds]
codyopel has quit [Ping timeout: 260 seconds]
nocent has quit [Ping timeout: 256 seconds]
regnat[m] has quit [Ping timeout: 256 seconds]
dtz has quit [Ping timeout: 260 seconds]
florianjacob has quit [Ping timeout: 260 seconds]
copumpkin has quit [Ping timeout: 260 seconds]
adisbladis[m] has quit [Ping timeout: 276 seconds]
<
Profpatsch>
I will try running it in my local repository then.
ixxie has quit [Ping timeout: 245 seconds]
<
Profpatsch>
peti: Uh, it‘s kind of non-trivial to set up.
<
Profpatsch>
I wonder what the ./hackage folder should contain?
<
peti>
Profpatsch: the hackage branch of git://github.com/commercialhaskell/all-cabal-hashes.git
Sonarpulse has quit [Ping timeout: 276 seconds]
matthewbauer has quit [Read error: Connection reset by peer]
florianjacob has joined #nixos-dev
orivej has quit [Ping timeout: 256 seconds]
Lisanna has quit [Remote host closed the connection]
jtojnar has quit [Remote host closed the connection]
pstn has joined #nixos-dev
crystalgamma[m] has joined #nixos-dev
sphalerit has joined #nixos-dev
adisbladis[m] has joined #nixos-dev
nocent has joined #nixos-dev
olejorgenb[m] has joined #nixos-dev
regnat[m] has joined #nixos-dev
timokau[m] has joined #nixos-dev
primeos[m] has joined #nixos-dev
dtz has joined #nixos-dev
Drakonis[m] has joined #nixos-dev
thefloweringash[ has joined #nixos-dev
hl has joined #nixos-dev
hedning[m] has joined #nixos-dev
copumpkin has joined #nixos-dev
codyopel has joined #nixos-dev
rycee has joined #nixos-dev
peterhoeg has joined #nixos-dev
ixxie has joined #nixos-dev
goibhniu has quit [Ping timeout: 245 seconds]
orivej has joined #nixos-dev
matthewbauer has joined #nixos-dev
ixxie has quit [Ping timeout: 240 seconds]
Lisanna has joined #nixos-dev