%FILENAME%
rocq-stdlib-9.1.0-1-any.pkg.tar.xz

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.1.0-1

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
20332420

%ISIZE%
80333908

%MD5SUM%
3e590069b012a76fc8e41ec0b46c0f1c

%SHA256SUM%
8dd63245afc203cac9962adad8cfa9a74aa0667e0620f2d7193623e707f4618e

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmQ9RwACgkQdxk/FSvb5qbSlxAAp6Dczb3T9tB2JS+lnBZYvSTrnKCW17c9Er53aICFu2YqWV177ukDZy9fXZYxuSEMlHmfMyNBxYxSEqZGHKL+04STRZm4VmN31hHs7xDN+xy0+PaunUqqKceU3AEdPg8t9citLiq49GG1U6N2nZnM9AwUSCiraxAPOIL8sIb85UZZZ9HqdIzup0rPDZKNxzk+r1G/+YgKnSAr8+mVhVxKCefSwVnUGp2CMDb3arYN4lie1KE/5bG6liD1f6ndioANBRW4VWfnIScL/+W5Nb14DZ8Znd/MfxG+1bT8L5jHVS1haduWcFIj6QjReM5pwU/nmer7/7p6GzRzKUrrB6z5PdyZ0MPPddJPWWnPNc7elYxprPL7yLWhVdwR8xMWqPWcxdhfosTbCbDtI1Ic/t5ql3LMKVgXr+hyThWkgNBVtlmrS7PKE4q7mEJHcylRCVL+WUswpUDpRh1oVUjOEZ9ho5rm4gcSLhfjG2bmAv95+fe+troSbPlqpyeSeGWOHYqqKbrG/JPPHkp2I1lpc+ZqloHqEAZg+OHjhLqhE1EMNDUDbCbLa6aCaweo8sU2oKgk2rMvF9NddK1JSjSXrSfHjAL02EtXGd20FK2Xuf7iLrmdPtUYbEhvrcWnWC+Y0okq1zP5MnYXTadFNAxQK6qHpLcTCeiAfNQ/exA2AM6jzVQ=

%URL%
https://rocq-prover.org/

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1771106957

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

