BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages_8_4.ynot: remove

Browse source
This commit is contained in:
Vincent Laporte 2017-12-02 08:53:14 +00:00
parent e8a316f17f
commit 48aa378780
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
2 changed files with 0 additions and 33 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
pkgs/development/coq-modules/ynot/default.nix
View file

@ -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;
};
}

1
pkgs/top-level/all-packages.nix
View file

@ -18806,7 +18806,6 @@ with pkgs;
in
recurseIntoAttrs contribs;
ynot = callPackage ../development/coq-modules/ynot {};
};
mkCoqPackages = self: coq: let callPackage = newScope self; in rec {