coqPackages.smtcoq: don't build currently-broken specific veriT

[proux01]

coqPackages.smtcoq is broekn because its specific version of veriT no longer compiles since #354627 (more precisely commit 7b0b389 )
This disactivates veriT as a short term workardound to fix the CI of the Coq Nix toolbox (as seen for instance in coq-community/coq-nix-toolbox#305

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 25.05 Release Notes (or backporting 24.11 and 25.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[proux01]

@vbgl CI green both here and on coq-community/coq-nix-toolbox#307

As a longer term solution, we'll probably need an update of https://www.lri.fr/~keller/Documents-recherche/Smtcoq/veriT9f48a98.tar.gz (FWIW nix-build -A veriT perfectly works on master, cc @ckeller )

[vbgl]

Thanks for the fix. Is smtcoq useful without veriT?

[proux01]

No idea
Thanks for the merge!

[ckeller]

Thanks for the fix!
@vbgl SMTCoq can be useful without veriT, as veriT is only one possible backend.
In the long term, @arjunvish is working on a port to the last version of veriT.
In the middle term, I plan to maintain the version that is currently supported by SMTCoq. Adding making it compile for Coq Nix to my TODO list.

[vbgl]

Thank you Chantal for your answer.