why3

why3 1.8.2 · pkgs/applications/science/logic/why3/default.nix

Sign in to subscribe

Health

Risk

risk 0 ok

Version

1.8.2 no newer release known to repology

Channels

master 1.8.2 · nixos-unstable 1.8.2 · nixos-26.05 1.8.2 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

not read yet: the next index sweep reads it

Maintainers

thoughtpolice, vbgl

Pull requests 1

why3: migrate to by-name, use finalAttrs draft

#493042 by guylamar2006 · opened 7mo ago

Issues 0

None open.