open{jdk{8,11,17,21,23},jfx{17,21,23}}: deduplicate (#350736)
tree2250fbeb39e19d87873006e9e15a48029ebe3903
-rw-r--r-- 3044 .editorconfig
-rw-r--r-- 5971 .git-blame-ignore-revs
-rw-r--r-- 702 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 539 .gitignore
-rw-r--r-- 1486 .mailmap
lrwxrwxrwx 12 .version -> lib/.version
-rw-r--r-- 49427 CONTRIBUTING.md
-rw-r--r-- 1097 COPYING
-rw-r--r-- 5306 README.md
drwxr-xr-x - ci
-rw-r--r-- 971 default.nix
drwxr-xr-x - doc
-rw-r--r-- 8665 flake.nix
drwxr-xr-x - lib
drwxr-xr-x - maintainers
drwxr-xr-x - nixos
drwxr-xr-x - pkgs
-rw-r--r-- 930 shell.nix