rpms/coq/F-10 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.3, 1.4 coq.spec, 1.6, 1.7 import.log, 1.6, 1.7 sources, 1.3, 1.4 check.patch, 1.1, NONE cmxa-install.patch, 1.2, 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

5488
Age (days ago)
5488
Last active (days ago)

ocaml-devel@lists.fedoraproject.org

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Alan Dunn