aboutsummaryrefslogtreecommitdiff
path: root/infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix
diff options
context:
space:
mode:
authorMx Kookie <kookie@spacekookie.de>2020-12-09 18:55:19 +0000
committerMx Kookie <kookie@spacekookie.de>2020-12-09 18:55:19 +0000
commit80d90d9b204f7c17912740f9f414fe5d59f293ba (patch)
tree5f2065a06e724270610760d59d01c6888b375a46 /infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix
parent3a31a84c7d3e589035ad08499206aac44a81f424 (diff)
parent83cbad92d73216bb0d9187c56cce0b91f9121d5a (diff)
Merge commit '83cbad92d73216bb0d9187c56cce0b91f9121d5a' into main
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix')
-rw-r--r--infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix9
1 files changed, 9 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix b/infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix
new file mode 100644
index 000000000000..9fa5d62423cc
--- /dev/null
+++ b/infra/libkookie/nixpkgs/pkgs/development/compilers/ocaml/4.12.nix
@@ -0,0 +1,9 @@
+import ./generic.nix {
+ major_version = "4";
+ minor_version = "12";
+ patch_version = "0-alpha1";
+ src = fetchTarball {
+ url = "http://caml.inria.fr/pub/distrib/ocaml-4.12/ocaml-4.12.0~alpha1.tar.xz";
+ sha256 = "1p9nnj7l43b697b6bm767znbf1h0s2lyc1qb8izr1vfpsmnm11ws";
+ };
+}