rpms/coq/devel coq-check-8.2.patch, NONE, 1.1 coq-makefile-strip-8.2.patch, NONE, 1.1 coq-micromega-8.2.patch, NONE, 1.1 .cvsignore, 1.4, 1.5 coq.spec, 1.10, 1.11 import.log, 1.7, 1.8 sources, 1.4, 1.5 check.patch, 1.1, NONE cmxa-install.patch, 1.3, NONE coq-icon.png, 1.1, NONE coq-lablgtk-2.12.patch, 1.1, NONE makefile-parser.patch, 1.1, NONE makefile-strip.patch, 1.1, NONE makefile.patch, 1.1, NONE parser-man.patch, 1.1, NONE

Show replies by date

5455
days inactive
5455
days old

ocaml-devel@lists.fedoraproject.org

Manage subscription

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Alan Dunn