commit f6284c76daae2e8a739772ef3fc0e431f57fce69 · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

coqPackages_8_4.ssreflect: remove

Vincent Laporte 8 years ago f6284c76 f307634f

-7

2 changed files

expand all

unified split

pkgs

development

coq-modules

ssreflect

default.nix

top-level

all-packages.nix

-6

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

··· 2 2 3 3 let param = 4 4 { 5 - "8.4" = { 6 - version = "1.6.1"; 7 - url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz; 8 - sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw"; 9 - }; 10 - 11 5 "8.5" = { 12 6 version = "1.6.1"; 13 7 url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;

-1

pkgs/top-level/all-packages.nix

··· 18806 18806 in 18807 18807 recurseIntoAttrs contribs; 18808 18808 18809 - ssreflect = callPackage ../development/coq-modules/ssreflect {}; 18810 18809 tlc = callPackage ../development/coq-modules/tlc {}; 18811 18810 unimath = callPackage ../development/coq-modules/unimath {}; 18812 18811 ynot = callPackage ../development/coq-modules/ynot {};