dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #230567 from r-ryantm/auto-update/ocamlPackages.yojson

Browse Source 
ocamlPackages.yojson: 2.0.2 -> 2.1.0
This commit is contained in:
Weijia Wang 2023-05-11 14:10:48 +03:00 committed by GitHub
commit acb52d7ad0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,11 +2,11 @@
buildDunePackage rec {
pname = "yojson";
version = "2.0.2";
version = "2.1.0";
src = fetchurl {
url = "https://github.com/ocaml-community/yojson/releases/download/${version}/yojson-${version}.tbz";
sha256 = "sha256-h2u284r3OoSilDij2jXkhXxgoUVWpgZSWxSMb9vlRhs=";
sha256 = "sha256-n8sf8ttYqyWfkih5awraR5Tq6XF3sYMzcTgMTk+QsV0=";
};
nativeBuildInputs = [ cppo ];

10
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -1,4 +1,4 @@
{ lib, stdenv, fetchurl, makeWrapper, writeText
{ lib, stdenv, fetchurl, fetchpatch, makeWrapper, writeText
, graphviz, doxygen
, ocamlPackages, ltl2ba, coq, why3
, gdk-pixbuf, wrapGAppsHook
@ -53,6 +53,14 @@ stdenv.mkDerivation rec {
hash = "sha256-UT7ajIyu8e5vzrz2oBKDDrtZqUacgUP/TRi0/kz9Qkg=";
};
patches = [
(fetchpatch {
name = "fixes-yojson-2_1-support.patch";
url = "https://git.frama-c.com/pub/frama-c/-/commit/647eace02ed8dac46e75452898c3470f82576818.patch";
hash = "sha256-XfLi4kW1Y2MCLjHHQZAD8DvXvfZuDH3OKd9hlTV0XCw=";
})
];
postConfigure = "patchShebangs src/plugins/eva/gen-api.sh";
strictDeps = true;