pagure Logo
  • Log In

rpms / coq

Clone
Source Code
GIT
  • Source
  • Issues 
  • Pull Requests  0
  • Stats
 Overview  Files  Commits  Branches  Forks  Releases
Monitoring status:
Bugzilla Assignee:
Fedora:
jjames
EPEL:
jjames

Bugzilla Assignee

These two fields allow to specify a different default assignee for ticket opened against this package in bugzilla. Note: The EPEL field is always displayed for packages in the 'rpms' namespace regardless of whether it is used in bugzilla or not.

Orphan package

Commits 194

Branch: rawhide
f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 f39 f8 f9 main rawhide
OCaml 5.1 rebuild for Fedora 40
Richard W.M. Jones • 2 months ago  
3a51072
Minor metainfo cleanups
Jerry James • 2 months ago  
da85423
Rebuild for ocaml-zarith 1.13
Jerry James • 5 months ago  
de36257
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
Fedora Release Engineering • 5 months ago  
bce7479
Validate appdata with appstream-util
Jerry James • 5 months ago  
747efea
Remove second ExclusiveArch
Richard W.M. Jones • 5 months ago  
2bf4395
Only build coq and friends on architectures with the native compiler
Richard W.M. Jones • 5 months ago  
c80a174
OCaml 5.0 rebuild for Fedora 39
Richard W.M. Jones • 5 months ago  
3219561
ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)
Richard W.M. Jones • 5 months ago  
c1ddbe4
Version 8.17.1
Jerry James • 5 months ago  
74ed676
Version 8.17.0
Jerry James • 8 months ago  
676893e
Rebuild OCaml packages for F38
Richard W.M. Jones • 11 months ago  
ab20f06
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
Fedora Release Engineering • 11 months ago  
3fe2e3c
Version 8.16.1.
Jerry James • a year ago  
09c4fd9
Remove the manual, which has a non-free license (bz 2132567).
Jerry James • a year ago  
e302be3
Version 8.16.0. Drop upstreamed patch for Sphinx 4.5 support.
Jerry James • a year ago  
f3e9333
Convert License tags to SPDX.
Jerry James • a year ago  
7625013
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
Fedora Release Engineering • a year ago  
4c3105e
Enable documentation build with Sphinx 5+.
Jerry James • a year ago  
a0a79b4
Remove i686 support. Use new OCaml macros.
Jerry James • a year ago  
683dec0
Rebuild for antlr4-project 4.10.1.
Jerry James • a year ago  
c5cce54
Fix bug when building documentation
Richard W.M. Jones • a year ago  
00b5763
Upgrade to 8.15.2
Richard W.M. Jones • a year ago  
04c47e9
OCaml 4.14.0 rebuild
Richard W.M. Jones • a year ago  
3cfb859
Version 8.15.1.
Jerry James • 2 years ago  
c57cbd0
Fix documentation installation some more.
Jerry James • 2 years ago  
28b80ae
Fix documentation installation.
Jerry James • 2 years ago  
43e2714
Version 8.15.0.
Jerry James • 2 years ago  
76ce5ee
OCaml 4.13.1 rebuild to remove package notes
Richard W.M. Jones • 2 years ago  
c06c95f
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
Fedora Release Engineering • 2 years ago  
58cd3a1
Rebuild for ocaml-lablgtk3 3.1.2.
Jerry James • 2 years ago  
821d859
Version 8.14.1.
Jerry James • 2 years ago  
9257ea8
LICENSE.doc is in %_pkgdocdir, not %_docdir.
Jerry James • 2 years ago  
c4bf7f3
Version 8.14.0. Add -core subpackage.
Jerry James • 2 years ago  
bbf312f
OCaml 4.13.1 build
Richard W.M. Jones • 2 years ago  
6f535c9
Try to build on s390x with OCaml 4.13
Richard W.M. Jones • 2 years ago  
6252ea5
Rebuild for changed ocamlx(Dynlink).
Jerry James • 2 years ago  
592e879
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
Fedora Release Engineering • 2 years ago  
24646d9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
Fedora Release Engineering • 2 years ago  
22a60b3
Version 8.13.2.
Jerry James • 2 years ago  
8b75f75
Version 8.13.1.
Jerry James • 2 years ago  
69a1906
OCaml 4.12.0 build
Richard W.M. Jones • 2 years ago  
37a75cd
Version 8.13.0.
Jerry James • 2 years ago  
2568f6d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Fedora Release Engineering • 2 years ago  
3feea33
Version 8.12.2.
Jerry James • 2 years ago  
2b163e0
Version 8.12.1. Drop upstreamed sphinx 3 support patch.
Jerry James • 3 years ago  
c384828
Explicitly BR make.
Jerry James • 3 years ago  
ae743c4
ExcludeArch s390x (RHBZ#1874879).
Richard W.M. Jones • 3 years ago  
6e5fdd1
Skip the test suite on s390x.
Richard W.M. Jones • 3 years ago  
e3c52c3
  • « Newer
  • page 1 of 5
  • » Older
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.