MyNixOS website logo
package-set

python312Packages

Showing entries 9801-9803 out of 9803.
z3Nix package
High-performance theorem prover and SMT solver
Zeek's Messaging Library
Service which logs the users’s activities and events