Package Details: verifpal 0.27.4-1

Git Clone URL: https://aur.archlinux.org/verifpal.git (read-only, click to copy)
Package Base: verifpal
Description: Cryptographic protocol analysis for real-world protocols.
Upstream URL: https://verifpal.com
Licenses: GPL3, custom:cc-by-nc-nd-4.0
Submitter: PhCl
Maintainer: Fethbita
Last Packager: Fethbita
Votes: 2
Popularity: 0.000315
First Submitted: 2020-06-22 12:56 (UTC)
Last Updated: 2024-09-09 11:03 (UTC)

Latest Comments

Fethbita commented on 2024-02-03 12:13 (UTC) (edited on 2024-02-03 12:14 (UTC) by Fethbita)

@kientuong114 Thanks for the heads up. Updated both verifpal and verifpal-bin.

kientuong114 commented on 2024-01-31 14:52 (UTC)

The manual has changed and so the package doesn't build because of an invalid checksum. Here is a temporary patch, though it will probably break again whenever the manual is updated.

--- PKGBUILD.old    2024-01-31 15:45:09.510371541 +0100
+++ PKGBUILD    2024-01-31 15:30:26.983726070 +0100
@@ -14,7 +14,7 @@
         "$pkgname-$pkgver-manual.pdf::https://verifpal.com/res/pdf/manual.pdf"
         "$pkgname-$pkgver-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt")
 sha256sums=('c79ad450dd28429f4ef20020e063aa8f333433f92f3d148332cd8a5363d0368d'
-            '767d202fe82323a25ac2cd72bb91261c681df05633aa0e79b09ef6b5603e43de'
+            'c7fa06540e3414b5254a74da2b555dbf226a8e09ed11a1085baa00fc808d00a3'
             '38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea')

 prepare(){

lmartinez-mirror commented on 2022-06-05 04:03 (UTC)

Latest update no longer builds; will need time to look into this before I push it.

lmartinez-mirror commented on 2021-07-03 17:51 (UTC)

Package successfully builds after temporarily setting PATH. Please let me know if this package works for you.

lmartinez-mirror commented on 2021-06-30 19:44 (UTC)

The easiest fix I can think of is to temporarily add $GOPATH/bin to PATH, but I don't think this is ideal, nor is it the right way to do it.

PhCl commented on 2021-02-02 14:38 (UTC)

I'm not familiar enough with the Go ecosystem. Verifpal assumes that the binary "pigeon" gets installed, but "make dep" only downloads the sources. Disowning, hoping someone else knows how to fix it.

PhCl commented on 2021-02-02 12:06 (UTC)

Confirmed. When building on a clean VM, I also get the : running "pigeon": exec: "pigeon": executable file not found error. I'll try to find a solution.

Perseids commented on 2021-01-18 15:10 (UTC)

I get the same error:

[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/inconshreveable/mousetrap v1.0.0
go: downloading github.com/spf13/pflag v1.0.5
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.10.1
go: github.com/akavel/rsrc upgrade => v0.10.1
       OK
[Verifpal] Building Verifpal for Linux...cmd/verifpal/main.go:6: running "pigeon": exec: "pigeon": executable file not found in $PATH
make: *** [Makefile:20: linux] Error 1
==> ERROR: A failure occurred in build().
    Aborting...
error: failed to build 'verifpal-0.20.0-1':

PhCl commented on 2020-11-06 00:03 (UTC)

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 (UTC)

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!