nixsearch / pkg / coqPackages.coq-bits

coqPackages.coq-bits

A formalization of bitset operations in Coq

Apache-2.0 github.com coqPackages.coq-bits 2 releases newest changed 5 years ago

version20190812 attributecoqPackages.coq-bits rev

aarch64-darwin c11d08f02390aab49e7c22e6d0ea9b176394d961 2021-11-08

x86_64-darwin bf346b557b76ffce74167f37752656dede5957f3 2021-11-12

x86_64-linux c11d08f02390aab49e7c22e6d0ea9b176394d961 2021-11-08

systems✓ aarch64-darwinaarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add coqPackages.coq-bits@20190812

$ nix shell github:NixOS/nixpkgs/c11d08f02390aab49e7c22e6d0ea9b176394d961#coqPackages.coq-bits  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/bf346b557b76ffce74167f37752656dede5957f3#coqPackages.coq-bits  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/c11d08f02390aab49e7c22e6d0ea9b176394d961#coqPackages.coq-bits  # x86_64-linux

JSON: /v2/resolve?name=coqPackages.coq-bits&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
20190812resolved	✓	–	✓	✓	`coqPackages.coq-bits`	varies	2021-11-12
1.1.0	✓	✓	✓	✓	`coqPackages.coq-bits`	96ba1c52e5	2023-04-13

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.