about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/InfSeqExt
diff options
context:
space:
mode:
authorPierre Roux <pierre.roux@onera.fr>2023-12-19 14:54:48 +0100
committerPierre Roux <pierre@roux01.fr>2023-12-19 20:20:53 +0100
commit7c0435d86de5e12709fc210cbbd4c3e40f026630 (patch)
treeda05b98083c44a8dae3957414984e35cf5961ba7 /pkgs/development/coq-modules/InfSeqExt
parent77f1a05307145466c3c5f32024febb3a1f3ab3d9 (diff)
Bump a few things compiling with Coq 8.19
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt')
-rw-r--r--pkgs/development/coq-modules/InfSeqExt/default.nix2
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 5727afa983a0b..a6f3a8b6aaa66 100644
--- a/pkgs/development/coq-modules/InfSeqExt/default.nix
+++ b/pkgs/development/coq-modules/InfSeqExt/default.nix
@@ -5,7 +5,7 @@ mkCoqDerivation {
   owner = "DistributedComponents";
   inherit version;
   defaultVersion = with lib.versions; lib.switch coq.version [
-    { case = range "8.9" "8.18"; out = "20230107"; }
+    { case = range "8.9" "8.19"; out = "20230107"; }
     { case = range "8.5" "8.16"; out = "20200131"; }
   ] null;
   release."20230107".rev    = "601e89ec019501c48c27fcfc14b9a3c70456e408";