%FILENAME%
coq-8.15.0-1-arm.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
170155380

%ISIZE%
682275400

%MD5SUM%
9a798c688e24ecdce2f206c7479f2e9a

%SHA256SUM%
4ab1d2767b2f5a3e5a2b6bd86b929ac5c93336ae6c779a4cb02a39fe718b9f64

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqifYACgkQdxk/FSvb5qY0vxAAs202SjXdR2MDbWX8c1lk+l2OlKom8uMYaMklJn0wkdan3gyvm/RzqNBh3UEd6XlAxUDkiLKweYhv3yhqe8yHKF9RKnM6YORfT/GwP5OJCVyDDWeABkAyg1Vh7XMyjKd/Bwx/v73QHDPACXz/oZKSWgvi5oeRccUFFSneQW5FGCVMFPjDfep15566t2rFiNNu/hiQF0NQ0xJNNdVMIEDZ8lGSW9Sy9K9r2qR+KdGsHueTSyo2qH+csYVfJIEIIS3bXMM1diU3nuxmWVeyaYcNYCW/Iq7PauBoIP/TLi2I9QWrpjk0uZyPOPKJc2ZEwQokphJv3BIpRMPP4dhcXjBvRNIH+5WzziPfiMbs51atfs5FUUzqU0gTb8atQILVCj8ht16w8rD7/ZrrGjkcZAEWr5gLUJzCSiUR2CA/Oz19ypehcaLkKUF7YxJb8jc7IXUo1hx82cC6K9DhCZ4AsN96XD0DrJqWRWQN2Ac248DDTN2BzjIyfOafCV7iZdSrGCw/AwKxxhB0GLkzidX5FryAoRTigel1DVwzG0Zjko01G82rtIpvxReDM03ZksjXvCbe3jT+0E/JPhaodg+uNkqQXGyioMXEBvwzV/lfDTINUikUJcCEkB+cJESbXKnuMJeMTffPxQncXKrWeD1xqSTVFq6pqcaujvtz5CAu5YgUOAw=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1642757136

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

%REPLACES%
coq-nox

