nixsearch / pkg / naproche / 2022-04-19

naproche 2022-04-19

Write formal proofs in natural language and LaTeX

Linux and macOS last changed 2022-11-25 outputs: out, doc

Pin this version

$ devbox add naproche@2022-04-19

systemsaarch64-darwin, x86_64-darwin commit55b3f68bda6d4f4dc6092eed0508063f154fa4fd

$ nix shell github:NixOS/nixpkgs/55b3f68bda6d4f4dc6092eed0508063f154fa4fd#naproche

systemsaarch64-linux, x86_64-linux commit6b5019a48f876f3288efc626fa8b70ad0c64eb46

$ nix shell github:NixOS/nixpkgs/6b5019a48f876f3288efc626fa8b70ad0c64eb46#naproche

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`naproche`	55b3f68bda6d	2022-11-25	`out` /nix/store/qc2ipil0zwnljd0balpff9gq9cwsg57i-Naproche-SAD-2022-04-19 `doc` (not default) /nix/store/7w9p0y2nrm40i1kncvhvy0bhsa0lp7hw-Naproche-SAD-2022-04-19-doc
`aarch64-linux` Linux · arm64	`naproche`	6b5019a48f87	2022-11-21	`out` /nix/store/azvkcxnm0gdv8kdhc7n3ra7nhmvsbq7x-Naproche-SAD-2022-04-19 `doc` (not default) /nix/store/x69mm98p7y2jabvnab4sd3f737w9lhkv-Naproche-SAD-2022-04-19-doc
`x86_64-darwin` macOS · x86-64	`naproche`	55b3f68bda6d	2022-11-25	`out` /nix/store/zs3nvphkk52xgv16qsq6866zkh3j41zr-Naproche-SAD-2022-04-19 `doc` (not default) /nix/store/9jpm8693dgqy5i9mjw9a253aaall3y6i-Naproche-SAD-2022-04-19-doc
`x86_64-linux` Linux · x86-64	`naproche`	6b5019a48f87	2022-11-21	`out` /nix/store/5a6airbh5vrv8nhn2nqlnpv65ispakw4-Naproche-SAD-2022-04-19 `doc` (not default) /nix/store/d7wxcvdv5dcbym71k5xp9h93kvw5y0vc-Naproche-SAD-2022-04-19-doc