QuickCheck-2.16 support (#7182)

* QuickCheck-2.16 support

* fix: nix shell for ghc967

* update: CHaP index

* set index-state in nix/project.nix

* fix: comment out coq-ext-lib due to missing attribute error

* Add `shell.ghc9102`

* nix flake update iohk-nix

* Added QuickCheck's constraints

* Passing `-config .editorconfig` is not needed and now breaks

* Fix windows cross compilation of basement

* nix flake update haskell-nix

For input-output-hk/haskell.nix#2410

* Fix coq missing ExtLib

* plutus-report: fixed building the glossary

* Updated index-state

* Removed dead code

* wip

---------

Co-authored-by: Yura Lazaryev <Yuriy.Lazaryev@iohk.io>
Co-authored-by: Hamish Mackenzie <Hamish.K.Mackenzie@gmail.com>
Co-authored-by: zeme <lorenzo.calegari@iohk.io>

Author: 4 people

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump both the following dates if you need newer packages from Hackage
-  , hackage.haskell.org 2025-06-12T04:42:37Z
+  , hackage.haskell.org 2025-07-16T09:24:19Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2025-06-11T08:32:56Z
+  , cardano-haskell-packages 2025-07-02T14:54:39Z
 
 packages: cardano-constitution
           plutus-benchmark
@@ -85,3 +85,8 @@ allow-newer:
   , inline-r:containers
   , inline-r:primitive
 
+allow-newer:
+  -- https://github.com/phadej/vec/issues/121
+  ral:QuickCheck,
+  fin:QuickCheck,
+  bin:QuickCheck,

doc/plutus-report/plutus.tex

@@ -35,7 +35,7 @@
 % Capitalize the "type" of the link, e.g. Section 2
 \usepackage[capitalise]{cleveref}
 % Automatically build the glossary index, and don't show the occurrence lists or add a dot at the end
-\usepackage[automake=true, nonumberlist]{glossaries-extra}
+\usepackage[automake, nonumberlist]{glossaries-extra}
 
 \usepackage{fancyhdr}
 \pagestyle{fancy}