rpms/apron
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
137 Commits 29 Branches 0 Tags 157 KiB
main
Commit Graph

137 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Richard W.M. Jones
3bff95e178 OCaml 4.11.0 pre-release 2020-04-17 21:35:29 +01:00
Richard W.M. Jones
4452a66010 Update all OCaml dependencies for RPM 4.16. 2020-04-02 23:08:09 +01:00
Richard W.M. Jones
7b4e17c593 OCaml 4.10.0 final. 2020-02-26 16:25:09 +00:00
Fedora Release Engineering
fc5543f290 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 11:53:20 +00:00
Jerry James
9dd0d10771 Use -ccopt instead of -cclib so -Wl,--as-needed shows up earlier. 2020-01-24 09:59:28 -07:00
Jerry James
d3d36bf120 Do not build in parallel, leads to intermittent failures. 2020-01-22 10:20:37 -07:00
Jerry James
ba8f4b3754 New upstream release 0.9.12. 2020-01-22 09:52:51 -07:00
Richard W.M. Jones
7be6c52977 OCaml 4.10.0+beta1 rebuild. 2020-01-19 14:34:21 +00:00
Richard W.M. Jones
8159db48c5 OCaml 4.09.0 for riscv64 2020-01-09 20:49:04 +00:00
Richard W.M. Jones
23be230821 Bump release and rebuild. 2019-12-06 15:00:46 +00:00
Richard W.M. Jones
66417e704e OCaml 4.09.0 (final) rebuild. 2019-12-06 14:30:05 +00:00
Jerry James
6916f9cef0 Add -mpfr4 patch and rebuild for mpfr 4. 2019-10-11 08:40:17 -06:00
Richard W.M. Jones
38574db0f5 OCaml 4.08.1 (final) rebuild. 2019-08-16 16:32:35 +01:00
Richard W.M. Jones
6ad2233bb2 OCaml 4.08.1 (rc2) rebuild. 2019-07-31 18:46:36 +01:00
Fedora Release Engineering
a4dcfb351e - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 18:15:16 +00:00
Richard W.M. Jones
6e52b29635 OCaml 4.08.0 (final) rebuild. 2019-06-27 20:49:14 +01:00
Richard W.M. Jones
afeaabc66c OCaml 4.08.0 (beta 3) rebuild. 2019-04-29 19:38:09 +01:00
Jerry James
724ed2052b BR even more LaTeX style files to really fix FTBFS. 2019-01-31 20:16:39 -07:00
Jerry James
5db17d4159 BR tex(hanging.sty) to fix FTBFS. 2019-01-31 19:38:46 -07:00
Fedora Release Engineering
a314f2a533 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 13:38:03 +00:00
Fedora Release Engineering
8532bbbb21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 20:26:07 +00:00
Richard W.M. Jones
a904deeb5d OCaml 4.07.0 (final) rebuild. 2018-07-11 17:07:38 +01:00
Jerry James
f76398a7d6 Update to latest subversion commit. 2018-07-06 19:04:51 -06:00
Richard W.M. Jones
751c6b1fdf Bump release and rebuild. 2018-06-20 16:49:02 +01:00
Richard W.M. Jones
81a3910bdc Bump release and rebuild. 2018-06-20 13:45:34 +01:00
Richard W.M. Jones
26ffc5be9d Bump release and rebuild. 2018-06-20 12:50:59 +01:00
Richard W.M. Jones
1534dd518f Bump release and rebuild. 2018-06-20 11:38:50 +01:00
Richard W.M. Jones
acbe4f30ad OCaml 4.07.0-rc1 rebuild. 2018-06-20 11:25:51 +01:00
Jerry James
206521f94a Use %ldconfig_scriptlets. 2018-05-30 19:18:14 -06:00
Jerry James
22e9ca71c7 Update ghostscript dependency for new package layout. 2018-02-13 19:56:36 -07:00
Fedora Release Engineering
81983cdac4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 02:40:15 +00:00
David Kaspar [Dee'Kej]
97565d2619 Replace the 'ghostscript-core' requirement with 'ghostscript' 
To reflect Ghostscript's new package layout.
 2018-01-18 15:51:43 +01:00
Jerry James
1afab51496 Rebuild for mlgmpidl 1.2.6-1. 2017-12-03 21:52:49 -07:00
Richard W.M. Jones
cf96ffe2c5 OCaml 4.06.0 rebuild. 2017-11-17 14:06:39 +00:00
Richard W.M. Jones
bd60c6e576 OCaml 4.05.0 rebuild. 2017-08-08 14:19:22 +01:00
Fedora Release Engineering
291f734d5b - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-02 17:39:45 +00:00
Fedora Release Engineering
4dc2ec0107 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-26 03:07:56 +00:00
Petr Písař
d295eb6c40 perl dependency renamed to perl-interpreter <https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules> 2017-07-12 14:13:40 +02:00
Richard W.M. Jones
c9e8f03cdb OCaml 4.04.2 rebuild. 2017-06-26 22:22:42 +01:00
Richard W.M. Jones
093e92991a OCaml 4.04.1 rebuild. 2017-05-12 14:26:06 +01:00
Jerry James
ce3287b9fa Rebuild for mlgmpidl. 2017-03-24 12:10:48 -06:00
Jerry James
bee920f554 Update to latest subversion commit and rebuild for ppl 1.2. 2017-03-03 10:05:17 -07:00
Fedora Release Engineering
66dd021b8c - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-10 06:10:16 +00:00
Dan Horák
dbb04fd7ff - rebuild for s390x codegen bug 2016-11-09 18:57:14 +01:00
Richard W.M. Jones
5297b92a6d Rebuild for OCaml 4.04.0. 2016-11-06 19:41:03 +00:00
Jerry James
a7fce5ad6a Update to latest subversion commit. 2016-07-22 09:40:45 -06:00
Than Ngo
a1669fc9d4 remove wWorkaround bz 1305739; it's fixed in latest doxygen 2016-03-06 14:43:02 +01:00
Jerry James
c445fc7b3d Some ocaml projects need the debug libraries; add them back in. 2016-02-12 15:45:59 -07:00
Jerry James
aedee9c4f9 Update to latest subversion commit. 
Also:
- Add japron subpackage with the Java interface.
- Add %check script.
- Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches.
- Add -texinfo patch to fix documentation build failure.
 2016-02-12 08:36:32 -07:00
Dennis Gilmore
92eaa097cf - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 16:23:47 +00:00