nixsearch / pkg / coqPackages.itauto

coqPackages.itauto

Reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support

GPL-3.0-or-later gitlab.inria.fr coqPackages.itauto 7 releases newest changed 19 months ago

version8.20.0 attributecoqPackages.itauto rev0d534853a55b5d02a4ababa1d71921ce8f0aee4c 2025-03-11 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add coqPackages.itauto@8.20.0

$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.itauto

JSON: /v2/resolve?name=coqPackages.itauto&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
8.20.0resolved	✓	✓	✓	✓	`coqPackages.itauto`	0d534853a5	2025-03-11
8.19.0	✓	✓	✓	✓	`coqPackages.itauto`	5629520ede	2024-08-31
8.18.0	✓	✓	✓	✓	`coqPackages.itauto`	a9040b7bf8	2024-04-24
8.17.0	✓	✓	✓	✓	`coqPackages.itauto`	46688f8eb5	2023-09-15
8.16.0	✓	✓	✓	✓	`coqPackages.itauto`	96ba1c52e5	2023-04-13
8.15.0	✓	✓	✓	✓	`coqPackages.itauto`	e0ed589d74	2022-10-11
8.13+no	✓	✓	✓	✓	`coqPackages.itauto`	varies	2022-05-04

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