Morgan Jones

Hi there, We have the following issue on RHEL 9: https://www.redhat.com/en/blog/rhel-security-sha-1-package-signatures-distrusted-rhel-9 It would be great if the Phusion signing key was signed with SHA256 instead of SHA1 so we don't...

See the title. This was useful to me, I'm sure it'll be useful to others :+1:

- [x] I have read the entire README https://github.com/nix-community/aarch64-build-box - [x] I completely understood the README https://github.com/nix-community/aarch64-build-box - [x] I know when I can't trust the builder, as explained in...

Test failures on newer z3 versions

2

Hi there, I get the following failures when using the latest z3/haskell-z3 versions: haskell-z3: this commit: https://github.com/IagoAbal/haskell-z3/commit/b77a17e5eeb7db82656bcbcd66c6e952207e69ca z3: Z3 version 4.12.6 - 64 bit (note that I am able to...

Hi there, I've got a few failures with the fuzzer on 1.9.1 and am wondering if I should be concerned about them. This is in nixpkgs: ``` Running phase: checkPhase...

OCaml bindings don't install with cmake build system

18

Hi there, We recently switched in nixpkgs to the CMake based build system, since we began having downstream dependencies of Z3 that required having CMake files installed: https://github.com/NixOS/nixpkgs/pull/415966 All the...