nixsearch / pkg / python311Packages.alectryon / 1.4.0
python311Packages.alectryon 1.4.0
Collection of tools for writing technical documents that mix Coq code and prose
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python311Packages.alectryon@1.4.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit566e53c2ad750c84f6d31f9ccb9d00f823165550
$ nix shell github:NixOS/nixpkgs/566e53c2ad750c84f6d31f9ccb9d00f823165550#python311Packages.alectryon
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python311Packages.alectryon |
566e53c2ad75 | out/nix/store/k6fp4n0s91xqkwlsjhf5ila5p1xm73a4-python3.11-alectryon-1.4.0 dist (not default)/nix/store/pj5cficw6ydj2z8dv9hvsksha7sgw3i1-python3.11-alectryon-1.4.0-dist |
||
aarch64-linuxLinux · arm64 |
python311Packages.alectryon |
566e53c2ad75 | out/nix/store/9j4mv2r77mw87dqncg1r87h5h1b0dxnp-python3.11-alectryon-1.4.0 dist (not default)/nix/store/1bgpv1rxwbhngymzfcs9s9kcxk0v5m6s-python3.11-alectryon-1.4.0-dist |
||
x86_64-darwinmacOS · x86-64 |
python311Packages.alectryon |
566e53c2ad75 | out/nix/store/psxkjrxh54rl1fdafcfd7yy8aqjx6br0-python3.11-alectryon-1.4.0 dist (not default)/nix/store/6r685ri3s2lj8nxn3cmlrwghrlxwzkbk-python3.11-alectryon-1.4.0-dist |
||
x86_64-linuxLinux · x86-64 |
python311Packages.alectryon |
566e53c2ad75 | out/nix/store/s9222pi1dh947zlslmm5kx50w4953a4i-python3.11-alectryon-1.4.0 dist (not default)/nix/store/k7ilv5g5s3hs03naxbh9szvy18ab0h0i-python3.11-alectryon-1.4.0-dist |
JSON: /v2/pkg?name=python311Packages.alectryon · /v2/resolve?name=python311Packages.alectryon&version=1.4.0