Package Details: why3-bin 1.8.0-1

Git Clone URL: https://aur.archlinux.org/why3-bin.git (read-only, click to copy)
Package Base: why3-bin
Description: Software verification platform for deductive program verification
Upstream URL: https://gitlab.inria.fr/why3/why3
Licenses: LGPL2.1
Submitter: Herbrant
Maintainer: Herbrant
Last Packager: Herbrant
Votes: 0
Popularity: 0.000000
First Submitted: 2026-01-26 19:02 (UTC)
Last Updated: 2026-01-26 19:02 (UTC)

Dependencies (3)

Required by (1)

Sources (1)