From 48aa378780ebe2cb17f3f4cc9052e390cb830414 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Sat, 2 Dec 2017 08:53:14 +0000 Subject: [PATCH] coqPackages_8_4.ynot: remove --- pkgs/development/coq-modules/ynot/default.nix | 32 ------------------- pkgs/top-level/all-packages.nix | 1 - 2 files changed, 33 deletions(-) delete mode 100644 pkgs/development/coq-modules/ynot/default.nix diff --git a/pkgs/development/coq-modules/ynot/default.nix b/pkgs/development/coq-modules/ynot/default.nix deleted file mode 100644 index d83e2c5c7909..000000000000 --- a/pkgs/development/coq-modules/ynot/default.nix +++ /dev/null @@ -1,32 +0,0 @@ -{stdenv, fetchgit, coq}: - -stdenv.mkDerivation rec { - - name = "coq-ynot-${coq.coq-version}-${version}"; - version = "ce1a9806"; - - src = fetchgit { - url = git://github.com/Ptival/ynot.git; - rev = "ce1a9806c26ffc6e7def41da50a9aac1433cb2f8"; - sha256 = "1pcmcl5zamiimkcg1xvynxnfbv439y02vg1mnz79hqq9mnjyfnpw"; - }; - - buildInputs = [ coq.ocaml coq.camlp5 ]; - propagatedBuildInputs = [ coq ]; - - preBuild = "cd src"; - - installPhase = '' - COQLIB=$out/lib/coq/${coq.coq-version}/ - mkdir -p $COQLIB/user-contrib/Ynot - cp -pR coq/*.vo $COQLIB/user-contrib/Ynot - ''; - - meta = with stdenv.lib; { - homepage = http://ynot.cs.harvard.edu/; - description = "A library for writing and verifying imperative programs"; - maintainers = with maintainers; [ jwiegley ]; - platforms = coq.meta.platforms; - }; - -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index fec5e3a33470..48dc6a274170 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18806,7 +18806,6 @@ with pkgs; in recurseIntoAttrs contribs; - ynot = callPackage ../development/coq-modules/ynot {}; }; mkCoqPackages = self: coq: let callPackage = newScope self; in rec {