Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#13723 - coq - proof assistant
Attached to Project:
Arch Linux
Opened by Felix Sipma (legrostdg) - Monday, 09 March 2009, 21:04 GMT
Last edited by Allan McRae (Allan) - Monday, 09 March 2009, 22:05 GMT
Opened by Felix Sipma (legrostdg) - Monday, 09 March 2009, 21:04 GMT
Last edited by Allan McRae (Allan) - Monday, 09 March 2009, 22:05 GMT
|
DetailsDescription:
coq - a proof assistant Additional info: Hi, It would be great to have coq in a repository than AUR. coq is a proof assistant which is used by a lot of people. The users are mainly computer scientists and mathematicians, and I agree that the proportion of arch users may seemed ridiculous: it is a tool for specialists. This software is designed by the French public computing institute INRIA. It is a really mature software, the development is active and it is very stable. One may find more information on: http://coq.inria.fr/ The actual version is 8.2 and it requires: * Objective Caml (3.07 ≤ version but 3.08.0). For Objective Caml ≥ 3.10.0, you will need to install Camlp5 (version 4.08, or ≥ 5.01 transitional, or ≥ 5.10 if with Objective Caml ≥ 3.11.0) * a C compiler, * GNU Make Would it be possible to integrate it into a repository like community, extra or core? I've tried to send a mail to the person who is in charge of ocaml but I have no answer. It is the same on aur-general@archlinux.org Thanks, Felix |
This task depends upon