ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-14 08:31:40 +03:00
Code Issues Projects Releases Wiki Activity

acgtk: 1.5.2 → 1.5.4

Browse Source
This commit is contained in:
Vincent Laporte 2022-09-05 16:42:52 +02:00 committed by Vincent Laporte
parent de4a6ba15c
commit a22abdf7c2
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/applications/science/logic/acgtk/default.nix
View File

@ -1,17 +1,20 @@
{ lib, stdenv, fetchurl, dune_2, ocamlPackages }:
{ lib, stdenv, fetchFromGitLab, dune_2, ocamlPackages }:
stdenv.mkDerivation {
pname = "acgtk";
version = "1.5.2";
version = "1.5.4";
src = fetchurl {
url = "https://acg.loria.fr/software/acg-1.5.2-20201204.tar.gz";
sha256 = "09yax7dyw8kgwzlb69r9d20y7rrymzwi3bbq2dh0qdq01vjz2xwq";
src = fetchFromGitLab {
domain = "gitlab.inria.fr";
owner = "acg";
repo = "dev/acgtk";
rev = "8e630b6d91bad022bd1d1a075e7768034065c428";
sha256 = "sha256-W/BDhbng5iYuiB7desMKvRtDFdhoaxiJNvNvtbLlA6E=";
};
buildInputs = [ dune_2 ] ++ (with ocamlPackages; [
ocaml findlib ansiterminal cairo2 cmdliner fmt logs menhir menhirLib mtime yojson
ocaml findlib ansiterminal cairo2 cmdliner_1_1 fmt logs menhir menhirLib mtime sedlex yojson
]);
buildPhase = "dune build --profile=release";