coqPackages.LibHyps: enable for Coq 8.16 · tjh.dev/nixpkgs@7d14828

tjh.dev / nixpkgs

fork atom

nixpkgs mirror (for testing) github.com/NixOS/nixpkgs

nix

fork atom

coqPackages.LibHyps: enable for Coq 8.16

authored by

Vincent Laporte and committed by

Vincent Laporte 3 years ago 7d148282 e09c29e9

+1 -1

1 changed file

expand all

pkgs

development

coq-modules

LibHyps

default.nix

+1 -1

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

··· 5 5 pname = "LibHyps"; 6 6 owner = "Matafou"; 7 7 inherit version; 8 - defaultVersion = if (versions.range "8.11" "8.15") coq.version then "2.0.4.1" else null; 8 + defaultVersion = if (versions.range "8.11" "8.16") coq.version then "2.0.4.1" else null; 9 9 release = { 10 10 "2.0.4.1".sha256 = "09p89701zhrfdmqlpxw3mziw8yylj1w1skb4b0xpbdwd1vsn4k3h"; 11 11 };