Package Details: certora-prover-bin 8.19.2-1

Git Clone URL: https://aur.archlinux.org/certora-prover-bin.git (read-only, click to copy)
Package Base: certora-prover-bin
Description: Certora Prover verification engine, run locally by certora-cli instead of Certora's cloud
Upstream URL: https://www.certora.com
Licenses: GPL-3.0-only
Conflicts: certora-prover
Provides: certora-prover
Submitter: lapsus
Maintainer: lapsus
Last Packager: lapsus
Votes: 0
Popularity: 0.000000
First Submitted: 2026-07-30 15:06 (UTC)
Last Updated: 2026-09-07 15:04 (UTC)

Dependencies (6)

Required by (1)

Sources (1)