%FILENAME%
coq-doc-8.15.0-1-armv6h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-1

%DESC%
HTML and PDF documentation for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
12527624

%ISIZE%
115313230

%MD5SUM%
46215d9e37ce6c26f37c23d240e3f3e8

%SHA256SUM%
2c8b4606d57806bf1c0e38301da84dab15db139857d97c287eac367381d8e17b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiSMACgkQdxk/FSvb5qbjyxAArVD6/MvkgQSax+ayKJOzjTtER6+oQ0YZiczbvyPns3+ycEu+frnd6L7GzTAaz5v/pTDbvY4c19co62aPXgqpCU9RfcNM0mS1O95ozNvLALi/+G769UEyYEsW5TaX5vVFM87Z0y1rbcFv1nyFaoHuWkOtsA9FRxwHzPKro1+DtmlYNHnjM4PhbwWALafpN0LVp8Ewp39NrKhS9Wv1pHeo4OWtjRIyj7uvWk+m+AFn7ax2i4UwLoViSajesexDQ7v3sQP7jCJjEQMMXnHPQbvt8IA+z7W16gOG5ah6WhqgJKEro9g2bZZnycqMvBnKTWYdSezGCS0a/MM8tj6FFVflwG50Rcwa0HguVtWTnuR2ig5dALhMMU9wwSu3A+8/h6i6Hc0aZOTz7QKL9R5+V9FfCdG/KYAPk3Rvf2XCwWNyM8G+Mbg7C79WTp3ccddMihvxs2Wa9zyd2+ssQ+b+oNd2/UsYVXWA5TNP5ctX7hZNfrVaIoIzVh2a74TolOLw4JNCUgGm3L8RrAA0kkkzQUo99CAwRdm9OLNULzs8Ooj4y1aNnYKa1Np1E1cbTHRp+n2mY02VwukAlbg+gKYSmyCstOxvONBRUDcTp7HzydjbAzyQf9vQGYU2Xmy8p89nSlk92VoGoD9/hQRIT+4jyArYDlPmmLQjg/kbCWEjWVfmdf0=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1642756845

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

