Unverified Commit 9aa77715 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

Merge pull request #205005 from ulrikstrid/ligo--0_57 

ligo: 0.55.0 -> 0.58.0
parents a65df1ed b5926224

pkgs/development/compilers/ligo/default.nix

+5 −3
Original line number Diff line number Diff line 
{ lib

{ stdenv

, lib

, fetchFromGitLab

, git

, coq
@@ -9,12 +10,12 @@ 


ocamlPackages.buildDunePackage rec {

  pname = "ligo";

  version = "0.55.0";

  version = "0.58.0";

  src = fetchFromGitLab {

    owner = "ligolang";

    repo = "ligo";

    rev = version;

    sha256 = "sha256-GEw9OEHXdTxBvb5ATIcL71wdUCLD+X/A7CYQxwTUQWw=";

    sha256 = "sha256-WhqCkPkXHjWS8BDh13ODrHg2AHJ8CBfksTH4Fxx4xek=";

    fetchSubmodules = true;

  };
@@ -108,6 +109,7 @@ ocamlPackages.buildDunePackage rec { 
    description = "A friendly Smart Contract Language for Tezos";

    license = licenses.mit;

    platforms = ocamlPackages.ocaml.meta.platforms;

    broken = stdenv.isLinux && stdenv.isAarch64;

    maintainers = with maintainers; [ ulrikstrid ];

  };

}

pkgs/development/ocaml-modules/class_group_vdf/default.nix

+2 −1
Original line number Diff line number Diff line 
{ lib, fetchFromGitLab, buildDunePackage

{ stdenv, lib, fetchFromGitLab, buildDunePackage

, gmp, pkg-config, dune-configurator

, zarith, integers

, alcotest, bisect_ppx }:
@@ -38,6 +38,7 @@ buildDunePackage rec { 
  meta = {

    description = "Verifiable Delay Functions bindings to Chia's VDF";

    homepage = "https://gitlab.com/nomadic-labs/tezos";

    broken = stdenv.isDarwin && stdenv.isx86_64;

    license = lib.licenses.mit;

    maintainers = [ lib.maintainers.ulrikstrid ];

  };