diff options
author | Leona Maroni <dev@leona.is> | 2024-06-19 12:50:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-19 12:50:49 +0200 |
commit | 219ca58153d25cd5be7ac179ff941e7f0d3547c2 (patch) | |
tree | 8a21c818cfc5a32199314aa6a337fec010444474 /pkgs/development/compilers/ocaml/4.00.1.nix | |
parent | 4d9d3bc483197f974433ca2c5b962154be4162ea (diff) | |
parent | 3698515d63ad4f544be73bc47c0ae1e0d5dd021f (diff) |
Merge pull request #320808 from herberteuler/fix/jbr-17
jetbrains: build from source code with jbr-no-jcef-17
Diffstat (limited to 'pkgs/development/compilers/ocaml/4.00.1.nix')
0 files changed, 0 insertions, 0 deletions