nixsearch / pkg / coqPackages.rewriter / 0.0.11

coqPackages.rewriter 0.0.11

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography

Linux and macOS last changed 2024-08-31

Pin this version

$ devbox add coqPackages.rewriter@0.0.11

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5629520edecb69630a3f4d17d3d33fc96c13f6fe

$ nix shell github:NixOS/nixpkgs/5629520edecb69630a3f4d17d3d33fc96c13f6fe#coqPackages.rewriter

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`coqPackages.rewriter`	5629520edecb	2024-08-31	`out` /nix/store/yxc9g7wgpdca4p7x0jvzil1yq7pa75lz-coq8.19-rewriter-0.0.11
`aarch64-linux` Linux · arm64	`coqPackages.rewriter`	5629520edecb	2024-08-31	`out` /nix/store/l3m85k4lminpghk8vkjdqy0826hpqyi8-coq8.19-rewriter-0.0.11
`x86_64-darwin` macOS · x86-64	`coqPackages.rewriter`	5629520edecb	2024-08-31	`out` /nix/store/wg9m5j4mkpyaspms87c5lk6ijlvx20rc-coq8.19-rewriter-0.0.11
`x86_64-linux` Linux · x86-64	`coqPackages.rewriter`	5629520edecb	2024-08-31	`out` /nix/store/8r7c0y9aajgz38iwlq61nxygk6ns98wn-coq8.19-rewriter-0.0.11

← newer: 0.0.15 all 2 releases

JSON: /v2/pkg?name=coqPackages.rewriter · /v2/resolve?name=coqPackages.rewriter&version=0.0.11