Commit 316db3a1 authored by Lars Rasmusson's avatar Lars Rasmusson Committed by Vincent Laporte
Browse files

coqPackages.ITree: changed pname to InteractionTrees

parent de2edb81

pkgs/development/coq-modules/ITree/default.nix

+1 −1
Original line number Diff line number Diff line 
{ lib, mkCoqDerivation, coq, version ? null , paco, coq-ext-lib }:



with lib; mkCoqDerivation rec {

  pname = "ITree";

  pname = "InteractionTrees";

  owner = "DeepSpec";

  inherit version;

  defaultVersion = with versions; switch coq.coq-version [