Package Details: verifpal 0.19.3-1

Git Clone URL: https://aur.archlinux.org/verifpal.git (read-only, click to copy)
Package Base: verifpal
Description: Cryptographic protocol analysis for students and engineers.
Upstream URL: https://verifpal.com/
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 github.com/logrusorgru/aurora v2.0.3+incompatible
.go: downloading github.com/mna/pigeon v1.0.0
.go: downloading github.com/spf13/cobra v1.1.1
go: downloading github.com/spf13/pflag v1.0.5
go: downloading github.com/inconshreveable/mousetrap v1.0.0
go: github.com/spf13/pflag upgrade => v1.0.5
.go: downloading github.com/josephspurrier/goversioninfo v1.2.0
go: found github.com/josephspurrier/goversioninfo/cmd/goversioninfo in github.com/josephspurrier/goversioninfo v1.2.0
go: downloading github.com/akavel/rsrc v0.9.0
go: github.com/akavel/rsrc upgrade => v0.9.0
       OK
[Verifpal] Building Verifpal for Linux...   OK

tasn commented on 2020-11-04 15:35

Hey,

Doesn't compile. :(

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

Thanks!