nixpkgs/pkgs/applications/science/logic/twelf/ at v192 · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / applications / science / logic / twelf /

at v192 1 file

twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd

11 years ago