rpms/alt-ergo
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
85 commits 38 branches 24 tags 292 KiB
Commit graph

85 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
15bcc3b4c1 Rebuild for ocaml-zip 1.10. 2020-04-01 10:26:17 -06:00
Jerry James
0e23a44976 Rebuild for ocaml-menhir 20200211. 2020-03-25 13:27:34 -06:00
Richard W.M. Jones
41c768f03f OCaml 4.10.0 final. 2020-02-26 16:40:16 +00:00
Fedora Release Engineering
e409180af0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 11:28:29 +00:00
Richard W.M. Jones
4ecc6462d6 OCaml 4.10.0+beta1 rebuild. 2020-01-19 14:47:50 +00:00
Richard W.M. Jones
44c4aa7df6 OCaml 4.09.0 (final) rebuild. 2019-12-06 13:33:22 +00:00
Jerry James
23076e58d8 Rebuild for ocaml-zarith 1.9. 2019-09-06 09:11:18 -06:00
Richard W.M. Jones
199f1599a8 OCaml 4.08.1 (final) rebuild. 2019-08-16 16:28:54 +01:00
Richard W.M. Jones
004cf953df OCaml 4.08.1 (rc2) rebuild. 2019-08-01 00:02:40 +01:00
Fedora Release Engineering
87d647fe87 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 17:48:33 +00:00
Jerry James
84816c8abd Add a workaround for https://github.com/ocaml/ocaml/issues/7608. 2019-06-08 20:18:21 -06:00
Jerry James
aa097b342b Update to version 2.0.0. 
Also:
- Add -newline patch to fix FTBFS.
- Add a 256x256 icon.
 2019-06-05 19:55:51 -06:00
Fedora Release Engineering
ec408a198f - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 13:13:44 +00:00
Fedora Release Engineering
cd781e2f3f - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 20:10:03 +00:00
Richard W.M. Jones
41673a960d OCaml 4.07.0 (final) rebuild. 2018-07-11 17:05:02 +01:00
Richard W.M. Jones
5fa8bce6e7 OCaml 4.07.0-rc1 rebuild. 2018-06-20 10:37:01 +01:00
Fedora Release Engineering
c89a96d998 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 02:10:04 +00:00
Igor Gnatenko
77aeb8534d Remove obsolete scriptlets 
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
 2018-01-07 19:07:35 +01:00
Richard W.M. Jones
30e600a2a8 BR ocaml-num (for Big_int). 2017-11-09 10:06:33 +00:00
Richard W.M. Jones
f0b89425fa Use the asmrun_pic variant when linking the binary. 2017-11-09 10:01:08 +00:00
Richard W.M. Jones
05837dac1c OCaml 4.06.0 rebuild. 2017-11-08 22:38:01 +00:00
Richard W.M. Jones
0f9f4fefff OCaml 4.05.0 rebuild. 2017-08-08 00:17:01 +01:00
Fedora Release Engineering
edf73b3c66 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-02 17:32:02 +00:00
Fedora Release Engineering
286ad5ebec - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-26 02:47:38 +00:00
Richard W.M. Jones
2279585502 OCaml 4.04.2 rebuild. 2017-06-26 21:50:00 +01:00
Richard W.M. Jones
4f119ad3f4 Bump release and rebuild. 2017-05-12 23:09:47 +01:00
Richard W.M. Jones
460b853914 Bump release and rebuild. 2017-05-12 20:42:24 +01:00
Richard W.M. Jones
769a9e71de OCaml 4.04.1 rebuild. 2017-05-12 13:33:06 +01:00
Fedora Release Engineering
4058a279c6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-10 05:54:34 +00:00
Jerry James
e7b8a881c1 Update to version 1.30. 2016-12-01 12:00:03 -07:00
Richard W.M. Jones
61815b9ed7 Rebuild for OCaml 4.04.0. 2016-11-07 16:25:04 +00:00
Jerry James
92170cc2a0 Rebuild for ocaml-ocamlgraph 1.8.7. 2016-04-16 22:10:08 -06:00
Jerry James
3ea72ad511 Update to version 1.01. 2016-02-16 20:47:06 -07:00
Dennis Gilmore
52dd677cf4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 16:07:51 +00:00
Jerry James
9c90f09f31 Rebuild for zarith 1.4.1. 2015-11-25 19:41:52 -07:00
Richard W.M. Jones
97c3d8303e OCaml 4.02.3 rebuild. 2015-07-28 17:44:20 +01:00
Richard W.M. Jones
4bd685b632 ocaml-4.02.2 final rebuild. 2015-06-24 20:00:28 +01:00
Richard W.M. Jones
0615f4b3e7 ocaml-4.02.2 rebuild. 2015-06-17 19:13:02 +01:00
Dennis Gilmore
20d69424d3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-16 23:49:40 +00:00
Jerry James
d3fd569cc1 Rebuild for ocaml-ocamlgraph 1.8.6. 2015-03-19 11:55:47 -06:00
Jerry James
4c180eb470 Fix FTBFS (bz 1099153). 2015-03-13 13:55:14 -06:00
Richard W.M. Jones
ea6d936d31 ocaml-4.02.1 rebuild. 2015-02-18 12:06:01 +00:00
Jerry James
078f96bf35 Update to version 0.99.1. 2015-01-06 14:56:10 -07:00
Jerry James
635143a219 Rebuild for new ocaml-lablgtk. 2014-10-30 19:45:13 -06:00
Jerry James
0cce9b8f4e Rebuild for ocaml-zarith 1.3. 
Fix license handling.
 2014-10-14 09:56:58 -06:00
Jerry James
f25d2cbd85 ocaml-4.02.0 final rebuild. 2014-09-02 10:32:36 -06:00
Richard W.M. Jones
a4fc74f071 ocaml-4.02.0+rc1 rebuild. 2014-08-23 18:21:24 +01:00
Peter Robinson
f421abb5f7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-15 20:24:38 +00:00
Richard W.M. Jones
6a202d42bf ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. 2014-08-02 08:33:41 +01:00
Richard W.M. Jones
50e8db77ff Bump release and rebuild. 2014-07-25 13:21:22 +01:00