%FILENAME%
coq-8.14.1-2-armv6h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.14.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
159264592

%ISIZE%
624053485

%MD5SUM%
9fbe04ba78ee07f5270d07763c8eea0c

%SHA256SUM%
dff5a09460130d0ef471ff9c9119f6def256e086d343aa46a4937d109a1a46f2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG1b10ACgkQdxk/FSvb5qbPJhAAqTLvGCrWwOOUtkQ8D2rNkDOQ04ZoU1uWS+v024SszC7DB3oKGPLp/rghcX8XQjSdiWD9RUPLA3oteJ5/SxoYIi5/C85rKhzDdf3l2YHPsj8+/ur8g0i8YaFuiRtKk6HaJXMXP5rpwWHbt/Sn+73M1o3W/1+GbrBlRXOzruFsXAJkRKEdcMnyvLpgBui9gQ75M3wzhqLRxW1m0iQjNYdGTVYma0CBfT5bSpvmaIH93Nu9LNW+pgs03icz7EXVcktBtIDy6CMQed4DLbRSodcc+9pLsP69866dW+RihqRNjDJWi457K7z/uzEpJAHTxwjphqparGcRxyfxYC9efmwFg7iY8HiBGVUga90ovrro8dZ7K5RcrzfVNcIUy7ofvphAhk3dmV9EsC2vGEWeAxGkQOpb0LhU/+t080hUtw7U7fOnKEw889TIhLNfZYGIMpTvER2xR4amOSux/nhB1La9qJmbI7bv0V0foW5uz48gdFNNHePwMLpmG9WNpxcXC54C9MrzebrU7Jld50XaTNxR2YH6onQ9Bj8t3v22NBAbWtXxUwhkMBC2He7QIQDlD9Mqfp6AeDjZVWWZlwZtAVbUnNkYPo4t2eTUvlzl0hg1TNUkGKXj7I4V+AcstCHPIT3CctPhMfnlEP4dES/jCQwCUhhl9wNDwMjLBTdPBdM0BzI=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1639276912

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

%REPLACES%
coq-nox

