b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

ocamlPackages.otfm: 0.3.0 → 0.4.0

Browse source
This commit is contained in:
Vincent Laporte 2022-12-03 12:57:54 +01:00 committed by Vincent Laporte
parent b3cf173856
commit 6f05af913c
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
pkgs/development/ocaml-modules/otfm/default.nix
View file

@ -1,26 +1,25 @@
{ lib, stdenv, fetchurl, ocaml, findlib, ocamlbuild, topkg, uutf, result }: { lib, stdenv, fetchurl, ocaml, findlib, ocamlbuild, topkg, uutf }:
let let
pname = "otfm"; pname = "otfm";
version = "0.3.0"; version = "0.4.0";
webpage = "https://erratique.ch/software/${pname}"; webpage = "https://erratique.ch/software/${pname}";
in in
assert lib.versionAtLeast ocaml.version "4.01.0";
stdenv.mkDerivation { stdenv.mkDerivation {
name = "ocaml-${pname}-${version}"; pname = "ocaml${ocaml.version}-${pname}";
inherit version;
src = fetchurl { src = fetchurl {
url = "${webpage}/releases/${pname}-${version}.tbz"; url = "${webpage}/releases/${pname}-${version}.tbz";
sha256 = "054s82539k3kc9na6s47g3scsl04icjahpas7pv5351jmsgqcq3k"; hash = "sha256-02U23mYTy0ZJgSObDoyygPTGEMC4/Zge5bux4wshaEE=";
}; };
nativeBuildInputs = [ ocaml findlib ocamlbuild topkg ]; nativeBuildInputs = [ ocaml findlib ocamlbuild topkg ];
buildInputs = [ topkg ]; buildInputs = [ topkg ];
propagatedBuildInputs = [ uutf result ]; propagatedBuildInputs = [ uutf ];
strictDeps = true; strictDeps = true;

1
pkgs/tools/typesetting/satysfi/default.nix
View file

@ -17,6 +17,7 @@ let
rev = "v0.3.7+satysfi"; rev = "v0.3.7+satysfi";
sha256 = "0y8s0ij1vp1s4h5y1hn3ns76fzki2ba5ysqdib33akdav9krbj8p"; sha256 = "0y8s0ij1vp1s4h5y1hn3ns76fzki2ba5ysqdib33akdav9krbj8p";
}; };
propagatedBuildInputs = o.propagatedBuildInputs ++ [ ocamlPackages.result ];
}); });
yojson-with-position = ocamlPackages.buildDunePackage { yojson-with-position = ocamlPackages.buildDunePackage {
pname = "yojson-with-position"; pname = "yojson-with-position";