Unverified Commit 2cce2415 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

rocqPackages.relation-algebra: enable for Rocq 9.1 (#506296)

parents 9d9d7ddb 7017019b

pkgs/development/rocq-modules/relation-algebra/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkRocqDerivation { 
      [ rocq-core.rocq-version ]

      [

        {

          cases = [ (lib.versions.isEq "9.0") ];

          cases = [ (lib.versions.range "9.0" "9.1") ];

          out = "1.8.0";

        }

      ]