Merge pull request #305886 from wegank/ocaml-jane-street-old-drop
tree2cbe93ef5d24f932744d8f31b376216c37dace81
-rw-r--r-- 2916 .editorconfig
-rw-r--r-- 3471 .git-blame-ignore-revs
-rw-r--r-- 662 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 516 .gitignore
-rw-r--r-- 950 .mailmap
lrwxrwxrwx 12 .version -> lib/.version
-rw-r--r-- 36316 CONTRIBUTING.md
-rw-r--r-- 1097 COPYING
-rw-r--r-- 5306 README.md
-rw-r--r-- 971 default.nix
drwxr-xr-x - doc
-rw-r--r-- 4353 flake.nix
drwxr-xr-x - lib
drwxr-xr-x - maintainers
drwxr-xr-x - nixos
drwxr-xr-x - pkgs