nixsearch
nixsearch / pkg / naproche / 2022-10-24

naproche 2022-10-24

Write formal proofs in natural language and LaTeX
Linux and macOS last changed outputs: out, doc

Pin this version

$ devbox add naproche@2022-10-24
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit2873a73123077953f3e6f34964466018876d87c4 
$ nix shell github:NixOS/nixpkgs/2873a73123077953f3e6f34964466018876d87c4#naproche

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 naproche 2873a7312307
out
/nix/store/i2y5jpyykwqvv6j2c87q1dajwkcp36yh-Naproche-SAD-2022-10-24
doc (not default)
/nix/store/gcdwx299mvxib8v23q0prg2sj5d1q586-Naproche-SAD-2022-10-24-doc
aarch64-linux
Linux · arm64		 naproche 2873a7312307
out
/nix/store/584pg0aq1dvghgjzy5ykzx11ni788shq-Naproche-SAD-2022-10-24
doc (not default)
/nix/store/nbpq5qjng9v4zqwnx9hp8aflksnbw8qh-Naproche-SAD-2022-10-24-doc
x86_64-darwin
macOS · x86-64		 naproche 2873a7312307
out
/nix/store/pzni2bjh2rf5pl3kkd4bnpmixnqn983y-Naproche-SAD-2022-10-24
doc (not default)
/nix/store/hss1z9754hybjwd0szxrn96ij8rnjhk8-Naproche-SAD-2022-10-24-doc
x86_64-linux
Linux · x86-64		 naproche 2873a7312307
out
/nix/store/x3k0vkjbmcih8ps6w02xjnp1bqyg453l-Naproche-SAD-2022-10-24
doc (not default)
/nix/store/pwq0q0y7f3gxsw78xdzdpvjkkw103cz0-Naproche-SAD-2022-10-24-doc
← newer: 2023-07-11 all 6 releases older: 2022-04-19 →

JSON: /v2/pkg?name=naproche · /v2/resolve?name=naproche&version=2022-10-24