{"name":"haskellPackages.smtlib-backends","version":"0.3","summary":"Low-level functions for SMT-LIB-based interaction with SMT solvers","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"haskellPackages.smtlib-backends"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/zbc8gjs3gdv3zlqg2yjxy4fr2wc7fp1j-smtlib-backends-0.3","default":true},{"name":"doc","path":"/nix/store/clzlmsmc290bzrkhcz72a78jv61ilxz2-smtlib-backends-0.3-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"haskellPackages.smtlib-backends"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/s4bc3sfhvhz1si51jjl13ghkb71frsz2-smtlib-backends-0.3","default":true},{"name":"doc","path":"/nix/store/ak412xrv2fd9ii7qpf2nwhhnm937hj5k-smtlib-backends-0.3-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"haskellPackages.smtlib-backends"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/vfsb74sjazxi2bljkr88m8wsmj2lldbd-smtlib-backends-0.3","default":true},{"name":"doc","path":"/nix/store/blw24kvzl4nsk2agfs78q3icvkjqv70x-smtlib-backends-0.3-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"haskellPackages.smtlib-backends"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/ki1k25psl68idk3km9rqdzmki6zsmyv9-smtlib-backends-0.3","default":true},{"name":"doc","path":"/nix/store/8fjz7d8g9n30rcz03s8bs7d2ki0ld7n1-smtlib-backends-0.3-doc"}]}}}