tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom

coqPackages.CoLoR: 1.8.4 → 1.8.5

authored by Vincent Laporte and committed by Vincent Laporte f1e8e483 b64ebbd1

+2 -1
unified split
+2 -1
pkgs/development/coq-modules/CoLoR/default.nix
··· 5 owner = "fblanqui"; 6 inherit version; 7 defaultVersion = with lib.versions; lib.switch coq.version [ 8 - {case = range "8.14" "8.18"; out = "1.8.4"; } 9 {case = range "8.12" "8.16"; out = "1.8.2"; } 10 {case = range "8.10" "8.11"; out = "1.7.0"; } 11 {case = range "8.8" "8.9"; out = "1.6.0"; } 12 {case = range "8.6" "8.7"; out = "1.4.0"; } 13 ] null; 14 15 release."1.8.4".sha256 = "sha256-WlRiaLgnFFW5AY0z6EzdP1mevNe1GHsik6wULJLN4k0="; 16 release."1.8.3".sha256 = "sha256-mMUzIorkQ6WWQBJLk1ioUNwAdDdGHJyhenIvkAjALVU="; 17 release."1.8.2".sha256 = "sha256:1gvx5cxm582793vxzrvsmhxif7px18h9xsb2jljy2gkphdmsnpqj";
··· 5 owner = "fblanqui"; 6 inherit version; 7 defaultVersion = with lib.versions; lib.switch coq.version [ 8 + {case = range "8.14" "8.19"; out = "1.8.5"; } 9 {case = range "8.12" "8.16"; out = "1.8.2"; } 10 {case = range "8.10" "8.11"; out = "1.7.0"; } 11 {case = range "8.8" "8.9"; out = "1.6.0"; } 12 {case = range "8.6" "8.7"; out = "1.4.0"; } 13 ] null; 14 15 + release."1.8.5".sha256 = "sha256-zKAyj6rKAasDF+iKExmpVHMe2WwgAwv2j1mmiVAl7ys="; 16 release."1.8.4".sha256 = "sha256-WlRiaLgnFFW5AY0z6EzdP1mevNe1GHsik6wULJLN4k0="; 17 release."1.8.3".sha256 = "sha256-mMUzIorkQ6WWQBJLk1ioUNwAdDdGHJyhenIvkAjALVU="; 18 release."1.8.2".sha256 = "sha256:1gvx5cxm582793vxzrvsmhxif7px18h9xsb2jljy2gkphdmsnpqj";