{"name":"typstPackages.derive-it","version":"0.1.3","summary":"Simple functions for creating fitch-style natural deduction proofs and derivations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"typstPackages.derive-it"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/mnp7bz9y60crspp2sl79n7xwkr2frm7i-typst-package-derive-it-0.1.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"typstPackages.derive-it"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/jzv57q84m72r2c8zshpvy1yicj4r2ppy-typst-package-derive-it-0.1.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"typstPackages.derive-it"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ncdajc8b0yda5ayjd1hx3yryys4v5sbf-typst-package-derive-it-0.1.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"typstPackages.derive-it"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/3zq4f6ynnibs1jw0rbvnacn38vjm5bir-typst-package-derive-it-0.1.3","default":true}]}}}