pyrox.dev / nixpkgs
lol
fork atom

coq-containers: remove

authored by

Vincent Laporte and committed by
Vladimír Čunát 833800ae bbb9c929

-26
unified split
-24
pkgs/development/coq-modules/containers/default.nix
··· 1 - {stdenv, fetchurl, coq}: 2 - 3 - stdenv.mkDerivation { 4 - 5 - name = "coq-containers-${coq.coq-version}"; 6 - 7 - src = fetchurl { 8 - url = http://coq.inria.fr/pylons/contribs/files/Containers/v8.4/Containers.tar.gz; 9 - sha256 = "0z7yk0g7zkniwc73ka7wwb5jjg5a2wr1krrn3akr7kn5z3gvy2mc"; 10 - }; 11 - 12 - buildInputs = [ coq.ocaml coq.camlp5 ]; 13 - propagatedBuildInputs = [ coq ]; 14 - 15 - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; 16 - 17 - meta = with stdenv.lib; { 18 - homepage = http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4; 19 - description = "A typeclass-based Coq library of finite sets/maps"; 20 - maintainers = with maintainers; [ vbgl jwiegley ]; 21 - platforms = coq.meta.platforms; 22 - }; 23 - 24 - }
-2
pkgs/top-level/all-packages.nix
··· 12538 12538 12539 12539 bedrock = callPackage ../development/coq-modules/bedrock {}; 12540 12540 12541 - containers = callPackage ../development/coq-modules/containers {}; 12542 - 12543 12541 coqExtLib = callPackage ../development/coq-modules/coq-ext-lib {}; 12544 12542 12545 12543 coqeal = callPackage ../development/coq-modules/coqeal {};