PRs ready for review

[klt]

I can see the package in unstable.
Will this package be included in the next NixOS Release 24.11 ?

Yesterday I have spent hours to install the pack on my own,
without success

Gmp.h not found

I installed installed Chez Scheme and Idris2 and now I would like to install idris2-pack. For this end I used the command provided: bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)" But that fails with the following error: ./_datatypes.h:3:10: fatal error: 'gmp.h' file not found I have installed the following related packages: chez gmp idris idris2 and gmp.h is installed: /nix/store/aakpck7mmlzf9m9sf1hkp3bjkm90kxnq-gmp-with-cxx-6.3.0-de…