nixsearch
nixsearch / pkg / coqPackages.rewriter / 0.0.15

coqPackages.rewriter 0.0.15

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

Pin this version

$ devbox add coqPackages.rewriter@0.0.15
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.rewriter
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#coqPackages.rewriter

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.rewriter b6c8664de9b6
out
/nix/store/yp2ai2z38j2hkd33giba5jppk7xf5hzd-coq9.1-rewriter-0.0.15
aarch64-linux
Linux · arm64		 coqPackages.rewriter b6c8664de9b6
out
/nix/store/40x2whjjd4a79nfgpwirkn4rl05gw8zl-coq9.1-rewriter-0.0.15
x86_64-darwin
macOS · x86-64		 coqPackages.rewriter 3d46470bb303
out
/nix/store/ggr5p6phsdhd8r5cac03iqlgy5asbiqv-coq9.1-rewriter-0.0.15
x86_64-linux
Linux · x86-64		 coqPackages.rewriter b6c8664de9b6
out
/nix/store/9hs3fjj501rpvk1pxyf8nis3hwmgh34q-coq9.1-rewriter-0.0.15
all 2 releases older: 0.0.11 →

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