mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-13 09:13:17 +00:00
59bccda153
This reverts commit
|
||
---|---|---|
.. | ||
8.10.0+0.7.2.patch | ||
8.11.0+0.11.1.patch | ||
8.12.0+0.12.1.patch | ||
default.nix | ||
janestreet-0.15.patch | ||
janestreet-0.16.patch |