talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

owi: 0.2-unstable-2025-05-05 → 0.2-unstable-2025-07-08 (#423496)

Browse Source 
ocamlPackages.smtml: 0.7.0 → 0.8.0

owi: remove unneeded deps
This commit is contained in:
zapashcanon 2025-07-15 04:23:35 +00:00 committed by GitHub
parent 325ee2aca7
commit b476baeab6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/by-name/ow/owi/package.nix
View File

@ -10,18 +10,18 @@
}:
let
ocamlPackages = ocaml-ng.ocamlPackages_5_1;
ocamlPackages = ocaml-ng.ocamlPackages_5_2;
in
ocamlPackages.buildDunePackage rec {
pname = "owi";
version = "0.2-unstable-2025-05-05";
version = "0.2-unstable-2025-07-08";
src = fetchFromGitHub {
owner = "ocamlpro";
repo = "owi";
rev = "e4c2e85f1364714a77a925ec29321cf9b8fe90f4";
rev = "bcd7d362ed165c542deb2d49da1d45296aa03277";
fetchSubmodules = true;
hash = "sha256-ewaAkSyxtiiE8WcHusOyZDesqI61kCEN3pMb99R7Dkw=";
hash = "sha256-611k9CQx0C3QKR4NZpnr77LoBZSFBEdU0uRnZshO1cc=";
};
nativeBuildInputs = with ocamlPackages; [
@ -32,9 +32,9 @@ ocamlPackages.buildDunePackage rec {
llvmPackages.clang-unwrapped
# lld + llc isn't included in unwrapped, so we pull it in here
llvmPackages.bintools-unwrapped
makeWrapper
rustc
zig
makeWrapper
];
buildInputs = with ocamlPackages; [
@ -46,14 +46,11 @@ ocamlPackages.buildDunePackage rec {
dune-site
hc
integers
menhir
menhirLib
ocaml_intrinsics
patricia-tree
prelude
processor
pyml
re2
scfg
sedlex
smtml

4
pkgs/development/ocaml-modules/smtml/default.nix
View File

@ -25,13 +25,13 @@
buildDunePackage rec {
pname = "smtml";
version = "0.7.0";
version = "0.8.0";
src = fetchFromGitHub {
owner = "formalsec";
repo = "smtml";
tag = "v${version}";
hash = "sha256-QxVORnu28mcs54ZEPMxI5Bch/+/gkIfn0bTqrnSKUOw=";
hash = "sha256-gmYyVUkwXBqGKGhp6Pqdf2PJafUJ1hF96WxOLq1h2f8=";
};
nativeBuildInputs = [