Package Details: verifpal 0.19.3-1

Git Clone URL: (read-only, click to copy)
Package Base: verifpal
Description: Cryptographic protocol analysis for students and engineers.
Upstream URL:
Licenses: GPL
Submitter: PhCl
Maintainer: PhCl
Last Packager: PhCl
Votes: 0
Popularity: 0.000000
First Submitted: 2020-06-22 12:56
Last Updated: 2020-11-05 23:57

Latest Comments

PhCl commented on 2020-11-06 00:03

Cannot reproduce the error, neither with 0.19.1 nor with 0.19.3. Do you see any error messages? "pigeon" should be downloaded:

==> Starting build()...
[Verifpal] Installing dependenciesgo: downloading v2.0.3+incompatible
.go: downloading v1.0.0
.go: downloading v1.1.1
go: downloading v1.0.5
go: downloading v1.0.0
go: upgrade => v1.0.5
.go: downloading v1.2.0
go: found in v1.2.0
go: downloading v0.9.0
go: upgrade => v0.9.0
[Verifpal] Building Verifpal for Linux...   OK

tasn commented on 2020-11-04 15:35


Doesn't compile. :(

[Verifpal] Building Verifpal for Linux...cmd/verifpal/main.go:7: running "pigeon": exec: "pigeon": executable file not found in $PATH