Ocaml-devel

ocaml-devel@lists.fedoraproject.org
  • 8 participants
  • 29 discussions
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
by Alan Dunn
14 years, 9 months
rpms/coq/F-11 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
by Alan Dunn
14 years, 9 months
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
by Alan Dunn
14 years, 9 months
rpms/ocaml-facile/F-11 ocaml-facile.spec,1.8,1.9
by Dennis Gilmore
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
[pkgdb] coq had acl change status
by Fedora PackageDB
14 years, 9 months
Results per page: