ta name='robots' content='noindex, nofollow'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2023-11-23gnu: Add coq-for-coqtail....* gnu/packages/coq.scm (coq-for-coqtail): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Change-Id: I0c08a02f7937786b52039307c1019ae3474e625c Jean-Pierre De Jesus DIAZ