8.7.1-3 · Tags · Arch Linux / Packaging / Packages / coq

Due to an influx of spam, we have had to require each new account to be manually approved. Please register an account and then write an email to accountsupport@archlinux.org to get it approved. Sorry for the inconvenience.

This project is archived. Its data is read-only. This project is read-only.

8.7.1-3 protected

archlinux@bitsofnetworks.org

96580b90 · coq: use a less invasive patch to build against ocaml 4.06 · Feb 06, 2018

Package release 8.7.1-3

Admin message