diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2023-01-06 15:51:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-06 15:51:50 +0100 |
| commit | cc1d830b2a5eaca4f9c665ff2184b85f572e7761 (patch) | |
| tree | 4644eb4005193a7a9a752964d4f9c4232f907229 /pkgs/development/coq-modules/InfSeqExt | |
| parent | 3d25245ddb406356c8176d13221549e288519d99 (diff) | |
coq_8_17: init at 8.17+rc1 (#209145)
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt')
| -rw-r--r-- | pkgs/development/coq-modules/InfSeqExt/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix index 7f21386c86f69..25ec2f71324dd 100644 --- a/pkgs/development/coq-modules/InfSeqExt/default.nix +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -4,7 +4,7 @@ mkCoqDerivation { pname = "InfSeqExt"; owner = "DistributedComponents"; inherit version; - defaultVersion = if lib.versions.isGe "8.5" coq.version then "20200131" else null; + defaultVersion = if lib.versions.range "8.5" "8.16" coq.version then "20200131" else null; release."20200131".rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a"; release."20200131".sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0"; preConfigure = '' |