nixsearch
nixsearch / pkg / coqPackages.smpl / 8.13

coqPackages.smpl 8.13

A Coq plugin providing an extensible tactic similar to first
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.smpl@8.13
systemsaarch64-darwin, x86_64-darwin commitb4cc9cd38f05f1a764e21bfb1b14e89be76068b0 
$ nix shell github:NixOS/nixpkgs/b4cc9cd38f05f1a764e21bfb1b14e89be76068b0#coqPackages.smpl
systemsaarch64-linux, x86_64-linux commit24c33ab7952544ad355d0677c9eea931b23f371c 
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#coqPackages.smpl

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.smpl b4cc9cd38f05
out
/nix/store/8kpw3gnag683zdqry7jmm7wivvgx1m92-coq8.13-smpl-8.13
aarch64-linux
Linux · arm64		 coqPackages.smpl 24c33ab79525
out
/nix/store/n8mwanbyav4sdxyijf0fakahzalzas86-coq8.13-smpl-8.13
x86_64-darwin
macOS · x86-64		 coqPackages.smpl b4cc9cd38f05
out
/nix/store/7cgga99k79p6bnhc3fssyll4x9809h26-coq8.13-smpl-8.13
x86_64-linux
Linux · x86-64		 coqPackages.smpl 24c33ab79525
← newer: 8.15 all 2 releases

JSON: /v2/pkg?name=coqPackages.smpl · /v2/resolve?name=coqPackages.smpl&version=8.13