rpms/ocaml-menhir
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
75 Commits 25 Branches 0 Tags 112 KiB
0c08ced7e7
Commit Graph

74 Commits

Author SHA1 Message Date
Richard W.M. Jones
0c08ced7e7 Bump release and rebuild. 2019-12-05 22:40:39 +00:00
Richard W.M. Jones
1acca65787 OCaml 4.09.0 (final) rebuild. 2019-12-05 20:10:09 +00:00
Jerry James
049c4053a7 New upstream version. BR coq to get coq_makefile. 2019-09-24 10:00:24 -06:00
Richard W.M. Jones
676b21d999 OCaml 4.08.1 (final) rebuild. 2019-08-16 11:03:36 +01:00
Richard W.M. Jones
87ba789914 OCaml 4.08.1 (rc2) rebuild. 2019-07-31 13:16:48 +01:00
Fedora Release Engineering
563f2cc3b1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-25 22:55:15 +00:00
Jerry James
3e877d7d06 New upstream version. 2019-07-13 11:21:57 -06:00
Richard W.M. Jones
11a3f75f88 OCaml 4.08.0 (final) rebuild. 2019-06-27 18:57:59 +01:00
Jerry James
dd89bda373 New upstream version. 2019-06-26 21:22:11 -06:00
Jerry James
69d7691402 New upstream version. 2019-06-18 20:33:57 -06:00
Richard W.M. Jones
7576fd2b90 OCaml 4.08.0 (beta 3) rebuild. 2019-04-29 19:23:43 +01:00
Jerry James
fdedf8bfa8 Add missing R on ocamlfind (bz 1692434). 2019-03-26 20:29:33 -06:00
Fedora Release Engineering
15e27eecca - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-01 16:52:26 +00:00
Jerry James
1b87cbf192 New upstream version. New source URL. 2018-11-14 18:48:44 -07:00
Jerry James
a5dd16fae4 New upstream version. Ship libraries in the main package. 2018-10-22 21:01:54 -06:00
Jerry James
f87119f415 New upstream version. 2018-09-27 21:03:01 -06:00
Fedora Release Engineering
8d5d43010d - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-13 14:44:58 +00:00
Richard W.M. Jones
1b018465db OCaml 4.07.0 (final) rebuild. 2018-07-11 16:30:37 +01:00
Richard W.M. Jones
7a375a09f1 OCaml 4.07.0-rc1 rebuild. 2018-06-20 10:12:02 +01:00
Jerry James
3eedd8a3d8 New upstream version. 2018-06-06 20:49:16 -06:00
Fedora Release Engineering
cba2335b7d - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-08 08:52:39 +00:00
Jerry James
7aeabbbc6a New upstream version. 2017-12-24 11:03:01 -07:00
Jerry James
41fb21be94 New upstream version. 2017-12-09 13:03:34 -07:00
Richard W.M. Jones
fd8de2112a OCaml 4.06.0 rebuild. 2017-11-08 18:18:52 +00:00
Richard W.M. Jones
4633400870 OCaml 4.05.0 rebuild. 2017-08-07 23:40:22 +01:00
Fedora Release Engineering
17b616499f - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 04:17:11 +00:00
Fedora Release Engineering
96121c804b - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:29:13 +00:00
Jerry James
82125932e2 New upstream version. Build the manual from LaTeX sources. 2017-07-15 11:50:44 -06:00
Richard W.M. Jones
e509054ba6 OCaml 4.04.2 rebuild. 2017-06-26 21:09:35 +01:00
Jerry James
3d5856154d New upstream version. 2017-06-10 14:26:17 -06:00
Jerry James
8b13e82bda New upstream version. License change: QPL with exceptions to GPLv2. 2017-05-18 20:03:48 -06:00
Richard W.M. Jones
6702212978 OCaml 4.04.1 rebuild. 2017-05-12 13:20:06 +01:00
Fedora Release Engineering
a73591fe16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:33:04 +00:00
Jerry James
25e380daeb New upstream version. 2017-01-02 10:06:43 -07:00
Jerry James
0c2a12b95d New upstream version. 2016-11-15 19:28:39 -07:00
Jerry James
22d70ac042 New upstream version. 2016-11-14 20:41:33 -07:00
Richard W.M. Jones
418f321ac4 Add explicit dep on ocamlbuild. 2016-11-05 15:36:48 +00:00
Richard W.M. Jones
976a1af7e1 Rebuild for OCaml 4.04.0. 2016-11-05 15:31:17 +00:00
Jerry James
c96807fd80 New upstream version. 2016-08-27 11:36:25 -06:00
Jerry James
866f4a4c21 New upstream version. 2016-07-04 16:11:03 -06:00
Jerry James
8eeecd1eab New upstream version. 2016-05-13 08:19:46 -06:00
Jerry James
17430cce0e New upstream version. 2016-03-03 21:38:57 -07:00
Fedora Release Engineering
1aca3bf852 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:08:20 +00:00
Jerry James
cb685ee3d3 New upstream version. 2015-11-12 19:31:51 -07:00
Jerry James
9dded10e45 New upstream version. 2015-10-26 21:39:41 -06:00
Jerry James
34dea46b07 New upstream version. 2015-10-24 12:07:01 -06:00
Jerry James
23c504eb8c New upstream version. 2015-10-14 19:54:17 -06:00
Jerry James
c163d1a8db New upstream version. 2015-10-09 08:50:14 -06:00
Jerry James
c3d85adc4c New upstream version. 2015-09-19 11:15:49 -06:00
Richard W.M. Jones
aa7abc6fa4 OCaml 4.02.3 rebuild. 2015-07-28 17:33:00 +01:00