commit b738a8a90bb5a99cba58f09fb187f56f8ffec92c · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

yices: move to by-name

jopejoe1 5 months ago b738a8a9 675fbe3a

+4 -5

2 changed files

expand all

unified split

pkgs

by-name

yices

package.nix

top-level

all-packages.nix

+4 -1

pkgs/applications/science/logic/yices/default.nix pkgs/by-name/yi/yices/package.nix

··· 3 3 stdenv, 4 4 fetchFromGitHub, 5 5 cudd, 6 - gmp-static, 6 + gmp, 7 7 gperf, 8 8 autoreconfHook, 9 9 libpoly, 10 10 }: 11 11 12 + let 13 + gmp-static = gmp.override { withStatic = true; }; 14 + in 12 15 stdenv.mkDerivation rec { 13 16 pname = "yices"; 14 17 version = "2.6.5";

-4

pkgs/top-level/all-packages.nix

··· 15105 15105 15106 15106 why3 = callPackage ../applications/science/logic/why3 { coqPackages = coqPackages_8_20; }; 15107 15107 15108 - yices = callPackage ../applications/science/logic/yices { 15109 - gmp-static = gmp.override { withStatic = true; }; 15110 - }; 15111 - 15112 15108 tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix { 15113 15109 inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml; 15114 15110 };