tjh.dev
ocamlPackages.psmt2-frontend: 0.1 -> 0.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-psmt2-frontend/versions
authored by
R. RyanTM
and committed by
Vincent Laporte
17711be1
6dc46f3f
+2
-2
pkgs/development/ocaml-modules/psmt2-frontend/default.nix
+2
-2
pkgs/development/ocaml-modules/psmt2-frontend/default.nix
···
5
5
else
6
6
7
7
stdenv.mkDerivation rec {
8
-
version = "0.1";
8
+
version = "0.2";
9
9
name = "ocaml${ocaml.version}-psmt2-frontend-${version}";
10
10
11
11
src = fetchFromGitHub {
12
12
owner = "Coquera";
13
13
repo = "psmt2-frontend";
14
14
rev = version;
15
-
sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
15
+
sha256 = "097zmbrx4gp2gnrxdmsm9lkkp5450gwi0blpxqy3833m6k5brx3n";
16
16
};
17
17
18
18
prefixKey = "-prefix ";