kn b79e39b225 Adapt to non-native architectures; from Yozo TODA (maintainer), thanks! ...

- entries for native archs only in PLIST moved to PFRAG.native
- entries for non-native archs only in PLIST (with @comment tag)
  moved to PFRAG.no-native
- adding @static-lib tag to all .a

packaging failed on ocaml non-native architectures, like mips64, riscv64,
sparc64, powerpc.

Tested on amd64 and sparc64 (builds/packages without PLIST change) by me

2022-02-12 22:29:22 +00:00

..

patches

Update to coq 8.11.2; ok Yoza Toda (MAINTAINER)

2020-07-16 02:50:07 +00:00

pkg

Adapt to non-native architectures; from Yozo TODA (maintainer), thanks!

2022-02-12 22:29:22 +00:00

distinfo

update coq to 8.13.2

2021-12-04 04:33:45 +00:00

Makefile

Adapt to non-native architectures; from Yozo TODA (maintainer), thanks!

2022-02-12 22:29:22 +00:00