Commit Graph

Select branches

Hide Pull Requests

epel7

epel8

epel8-playground

f16

f17

f18

f19

f20

f21

f22

f23

f24

f25

f26

f27

f28

f29

f30

f31

f32

f33

f33-riscv64

f34

main

rawhide

Mono Color

• 9b0ba75aa1
  
  Bump Release f33-riscv64 David Abdurachmanov 2021-04-25 17:59:53 +0300
• fb13b37c21
  
  Bump Release David Abdurachmanov 2021-04-25 15:13:25 +0300
• 5ef698f281
  
  Bump Release David Abdurachmanov 2021-04-25 10:17:28 +0300
• de826b6f0d Some applications of menhir require menhirLib.ml, so install it. f33 Jerry James 2021-04-14 08:44:59 -0600
• e9c2359b13 Rebuild for coq 8.13.1. rawhide main Jerry James 2021-03-03 15:09:53 -0700
• 69ac2d4c20 OCaml 4.12.0 build Richard W.M. Jones 2021-03-02 11:03:47 +0000
• eec8b4195c Version 20201216. f34 Jerry James 2021-02-24 13:50:58 -0700
• 62179a4570 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild Fedora Release Engineering 2021-01-26 22:00:12 +0000
• d34ef55d35 Rebuild for coq 8.12.2. Jerry James 2020-12-23 20:02:43 -0700
• d2c9d1b88c Rebuild for coq 8.12.2. Jerry James 2020-12-23 20:02:43 -0700
• ec1d7a3102 Coq is currently unavailable on s390x. Jerry James 2020-12-02 16:19:48 -0700
• 218d4aca6e Version 20201201. Jerry James 2020-12-02 16:08:48 -0700
• fa49b12559 Explicitly BR make. Jerry James 2020-11-09 16:46:24 -0700
• 5910065a12 Coq is currently unavailable on s390x. Jerry James 2020-12-02 16:19:48 -0700
• 0264a9c4a9 Version 20201201. Jerry James 2020-12-02 16:08:48 -0700
• 2bf3d17974 Explicitly BR make. Jerry James 2020-11-09 16:46:24 -0700
• d2c91c395f remove package.cfg per new epel-playground policy epel8 Troy Dawson 2020-09-24 17:01:39 +0000
• 2fe7f09315 Bump release and rebuild. Richard W.M. Jones 2020-09-02 22:35:37 +0100
• 5349ca0ce7 OCaml 4.11.1 rebuild Richard W.M. Jones 2020-09-01 23:56:08 +0100
• 7fe058a0a4 OCaml 4.11.0 rebuild Richard W.M. Jones 2020-08-21 19:43:33 +0100
• e635816345 Bootstrap build without coq support. Jerry James 2020-08-06 08:58:57 -0600
• a7e9e74f04 Version 20200624. Jerry James 2020-08-06 08:50:47 -0600
• 10c055b9c7 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-08-01 06:38:56 +0000
• c89227cd0e - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-07-28 12:12:13 +0000
• 3efd90ddbb Version 20200612. f32 Jerry James 2020-06-16 09:44:44 -0600
• edcc2b3e62 Version 20200612. Jerry James 2020-06-15 14:39:01 -0600
• efcb7821a3 Rebuild for coq 8.11.1. Jerry James 2020-05-20 14:32:28 -0600
• 43d17c1540 Rebuild for coq 8.11.1. Jerry James 2020-05-20 10:25:25 -0600
• 713f57c5ec OCaml 4.11.0+dev2-2020-04-22 rebuild Richard W.M. Jones 2020-05-05 15:51:45 +0100
• 13ab35ba5d OCaml 4.11.0 pre-release attempt 2 Richard W.M. Jones 2020-04-22 15:18:54 +0100
• f4df7df5d8 Disable Coq for OCaml bootstrap. Richard W.M. Jones 2020-04-17 18:33:15 +0100
• 059fdf00b4 Re-enable Coq bindings after OCaml bootstrap. Richard W.M. Jones 2020-04-02 14:34:15 +0100
• 886e232d94 Fix without coq case. Richard W.M. Jones 2020-04-02 14:18:45 +0100
• d274564657 Disable coq (circular dep) while rebuilding all OCaml. Richard W.M. Jones 2020-04-02 14:12:07 +0100
• cdd002da17 Update all OCaml dependencies for RPM 4.16. Richard W.M. Jones 2020-04-02 14:05:59 +0100
• aae9298b82 Merge branch 'master' into f32 Jerry James 2020-03-27 15:39:52 -0600
• 7b0bed3cda Version 20200211. Dune is now used to build the package. Split the build-time and runtime parts into separate packages. Jerry James 2020-03-25 12:59:19 -0600
• 59d14fee24 OCaml 4.10.0 final (Fedora 32). Richard W.M. Jones 2020-02-27 15:02:54 +0000
• aa6456c446 Disable Coq for 4.10.0 build. Richard W.M. Jones 2020-02-26 11:25:40 +0000
• cc773e9127 OCaml 4.10.0 final. Richard W.M. Jones 2020-02-26 10:56:30 +0000
• 87ef8005d6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Fedora Release Engineering 2020-01-29 19:38:32 +0000
• d562401933 Reenable coq support. Add coq-menhirlib subpackage, without which coq support is rather pointless. Jerry James 2020-01-22 09:24:15 -0700
• 3b6c1d9171 Use find -delete for brevity and safety. Jerry James 2020-01-21 19:45:36 -0700
• 4b910a31a7 OCaml 4.10.0+beta1 rebuild. Richard W.M. Jones 2020-01-19 13:32:42 +0000
• 75a5f25c7d Bump release. Richard W.M. Jones 2020-01-19 13:20:48 +0000
• 428110e6fc Disable coq for now. Richard W.M. Jones 2020-01-19 13:15:01 +0000
• a3209d48b4 Bump release and rebuild. Richard W.M. Jones 2019-12-06 09:10:27 +0000
• 0c08ced7e7 Bump release and rebuild. Richard W.M. Jones 2019-12-05 22:40:39 +0000
• 1acca65787 OCaml 4.09.0 (final) rebuild. Richard W.M. Jones 2019-12-05 20:10:09 +0000
• 049c4053a7 New upstream version. BR coq to get coq_makefile. f31 Jerry James 2019-09-24 10:00:24 -0600
• e1b82706be Remove some dependencies not present on RHEL 8. Richard W.M. Jones 2019-09-06 14:50:52 +0100
• c42ef0043f Merge remote-tracking branch 'origin/master' into epel8 Richard W.M. Jones 2019-09-06 14:43:33 +0100
• e2f44c6d0f Only build for epel8. Richard W.M. Jones 2019-09-06 14:43:29 +0100
• 411d90c55f "Adding package.cfg file" Gwyn Ciesla 2019-09-06 08:33:06 -0500
• 676b21d999 OCaml 4.08.1 (final) rebuild. Richard W.M. Jones 2019-08-16 11:03:36 +0100
• 87ba789914 OCaml 4.08.1 (rc2) rebuild. Richard W.M. Jones 2019-07-31 13:16:48 +0100
• 563f2cc3b1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Fedora Release Engineering 2019-07-25 22:55:15 +0000
• 3e877d7d06 New upstream version. Jerry James 2019-07-13 11:21:57 -0600
• 11a3f75f88 OCaml 4.08.0 (final) rebuild. Richard W.M. Jones 2019-06-27 18:57:59 +0100
• dd89bda373 New upstream version. Jerry James 2019-06-26 21:22:11 -0600
• 69d7691402 New upstream version. Jerry James 2019-06-18 20:33:57 -0600
• 7576fd2b90 OCaml 4.08.0 (beta 3) rebuild. Richard W.M. Jones 2019-04-29 19:23:43 +0100
• 8caaabf74a Add missing R on ocamlfind (bz 1692434). f28 Jerry James 2019-03-26 21:10:49 -0600
• de12710470 Add missing R on ocamlfind (bz 1692434). f29 Jerry James 2019-03-26 20:57:51 -0600
• fdedf8bfa8 Add missing R on ocamlfind (bz 1692434). f30 Jerry James 2019-03-26 20:29:33 -0600
• 15e27eecca - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild Fedora Release Engineering 2019-02-01 16:52:26 +0000
• fe4efcc587 ExcludeArch ppc64 epel7 Richard W.M. Jones 2018-12-10 22:17:59 +0000
• 1b87cbf192 New upstream version. New source URL. Jerry James 2018-11-14 18:48:44 -0700
• a5dd16fae4 New upstream version. Ship libraries in the main package. Jerry James 2018-10-22 21:01:54 -0600
• f87119f415 New upstream version. Jerry James 2018-09-27 21:03:01 -0600
• 8d5d43010d - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Fedora Release Engineering 2018-07-13 14:44:58 +0000
• 1b018465db OCaml 4.07.0 (final) rebuild. Richard W.M. Jones 2018-07-11 16:30:37 +0100
• 7a375a09f1 OCaml 4.07.0-rc1 rebuild. Richard W.M. Jones 2018-06-20 10:12:02 +0100
• 3eedd8a3d8 New upstream version. Jerry James 2018-06-06 20:49:16 -0600
• cba2335b7d - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild Fedora Release Engineering 2018-02-08 08:52:39 +0000
• 7aeabbbc6a New upstream version. Jerry James 2017-12-24 11:03:01 -0700
• 41fb21be94 New upstream version. Jerry James 2017-12-09 13:03:34 -0700
• fd8de2112a OCaml 4.06.0 rebuild. Richard W.M. Jones 2017-11-08 18:18:52 +0000
• 4633400870 OCaml 4.05.0 rebuild. f27 Richard W.M. Jones 2017-08-07 23:40:22 +0100
• 17b616499f - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild Fedora Release Engineering 2017-08-03 04:17:11 +0000
• 96121c804b - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild Fedora Release Engineering 2017-07-27 01:29:13 +0000
• 82125932e2 New upstream version. Build the manual from LaTeX sources. f26 Jerry James 2017-07-15 11:50:44 -0600
• e509054ba6 OCaml 4.04.2 rebuild. Richard W.M. Jones 2017-06-26 21:09:35 +0100
• 3d5856154d New upstream version. Jerry James 2017-06-10 14:26:17 -0600
• 8b13e82bda New upstream version. License change: QPL with exceptions to GPLv2. Jerry James 2017-05-18 20:03:48 -0600
• 6702212978 OCaml 4.04.1 rebuild. Richard W.M. Jones 2017-05-12 13:20:06 +0100
• a73591fe16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild Fedora Release Engineering 2017-02-11 00:33:04 +0000
• d9d134f5b5 New upstream version. f25 f24 Jerry James 2017-01-02 10:06:43 -0700
• 25e380daeb New upstream version. Jerry James 2017-01-02 10:06:43 -0700
• fea540fd95 New upstream version. Jerry James 2016-11-15 19:28:39 -0700
• 0c2a12b95d New upstream version. Jerry James 2016-11-15 19:28:39 -0700
• d0637ebf31 Remove ocaml-ocamlbuild dependency for F25 and earlier. Jerry James 2016-11-14 20:55:51 -0700
• 22d70ac042 New upstream version. Jerry James 2016-11-14 20:41:33 -0700
• 418f321ac4 Add explicit dep on ocamlbuild. Richard W.M. Jones 2016-11-05 15:36:48 +0000
• 976a1af7e1 Rebuild for OCaml 4.04.0. Richard W.M. Jones 2016-11-05 15:31:17 +0000
• c96807fd80 New upstream version. Jerry James 2016-08-27 11:36:25 -0600
• 866f4a4c21 New upstream version. Jerry James 2016-07-04 16:11:03 -0600
• 8eeecd1eab New upstream version. Jerry James 2016-05-13 08:19:46 -0600
• 17430cce0e New upstream version. Jerry James 2016-03-03 21:38:57 -0700
• 1aca3bf852 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild Fedora Release Engineering 2016-02-04 11:08:20 +0000