%FILENAME%
coq-doc-8.16.0-2-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.0-2

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

%GROUPS%
coq

%CSIZE%
7675332

%ISIZE%
104888768

%MD5SUM%
12599934b720cff0ddfec60fa4d5d46a

%SHA256SUM%
f0045a1c40135a3b74a7c7ae2dc374d8027341c5c90bb3002a75b45c22626462

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYdWQACgkQdxk/FSvb5qYKvA/9ElJ7iYxeOchOybXCwXlHVtpdRWD4ps53vKni+xbDsXPlXeGs/BmzTAfaOjCAl3YPa/2RDETgiV4BnVhju+Mc8XZQ0VHP5VtcVLWUYjU8ZS0kTZglk3BRoFoBHw+EGaMIpKwq9UwBw0BK1+9YjlvRBzyKWpU/cZV754oGKibDjY1+B41e2bsRXNHiB4cPfHyhNSI+TExoCNvR2SUVWfXFOpigtz8Xc1BP2235DCs4LXhDXoGYLXfZDwjDVwaAMJA/Ryxhn8m3evRpqnoGHFvmu7rk2VO503fpKa9VVEsHdyT0PI8WKjGSdCWdCmMjR3CTpjk6uJXHniHGldpkXIpPNM2JhoQdESYLZbtxuRrHfmKLnmKASTdN72io5twr2jepViKkMTP/a4bEZt42eSG1oLn3xaNOIcco3iCi6DySI8MlARt+8BH8doVTlaqqbv+oZNlCKu9dszvIiKa4Rk4KF6d9S2PTJ8AU80aAqmtj9sdY+G3XSZNTyhRWBXhLOv7VXbxP1/h+UR9pc9FcmeB2xoT7Lb+mW9pf1nYaDk/fXjaW6vpup55geOvwf8MznMPieP148pFMnnhqfbR9kNoRdQTJEno3h9bMwST7HZlH4OZJ5u+FezDJ1KnV62e2MxGT2dBH9gyAj67invPcxMP9uHzqvHZUAVDA2j7gB9VtcgM=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1662545282

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

