Package Details: libjasmin-easycrypt-bin 2026.03.0-1

Git Clone URL: https://aur.archlinux.org/libjasmin-easycrypt-bin.git (read-only, click to copy)
Package Base: libjasmin-easycrypt-bin
Description: EasyCrypt libraries used for verifying Jasmin implementations
Upstream URL: https://github.com/jasmin-lang/jasmin
Licenses: MIT
Submitter: Herbrant
Maintainer: Herbrant
Last Packager: Herbrant
Votes: 0
Popularity: 0.000000
First Submitted: 2026-01-26 19:13 (UTC)
Last Updated: 2026-03-16 20:07 (UTC)

Dependencies (2)

Required by (0)

Sources (1)