rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
50 Commits 24 Branches 0 Tags 302 KiB
Commit Graph

50 Commits

Author SHA1 Message Date
Jerry James 692cf253e4 Add -trailing-zeros32 patch to fix build failures on some platforms. 2019-11-21 16:12:33 -07:00
Jerry James bc5419f37d New upstream version. 
Add -ocamldoc patch to fix documentation build failure.
 2019-11-21 14:44:32 -07:00
Jerry James 42ae6f3f75 New upstream version. 2019-09-20 15:23:01 -06:00
Miro Hrončok 85e1fe0c7d Rebuilt for Python 3.8 2019-08-19 11:10:02 +02:00
Richard W.M. Jones e06c6ff41f OCaml 4.08.1 (final) rebuild. 2019-08-16 17:21:57 +01:00
Richard W.M. Jones 1561678c31 OCaml 4.08.1 (rc2) rebuild. 2019-07-31 19:03:19 +01:00
Fedora Release Engineering aa3ff805f2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-27 04:53:57 +00:00
Richard W.M. Jones 1f2d60975b OCaml 4.08.0 (final) rebuild. 2019-06-27 21:18:11 +01:00
Jerry James fb4076ae94 New upstream version. 2019-06-22 09:11:24 -06:00
Richard W.M. Jones 6333387608 OCaml 4.08.0 (beta 3) rebuild. 2019-04-29 20:17:39 +01:00
Fedora Release Engineering 669384ea2a - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-03 13:05:31 +00:00
Jerry James c4b8d05710 Drop -no-sse patch, now handled upstream. 2018-12-25 15:19:03 -07:00
Jerry James 9a334660bc New upstream version. 2018-12-24 19:48:59 -07:00
Jerry James 22bb19946c New upstream version. 2018-11-28 18:49:33 -07:00
Jerry James 31ee134bbf Add -no-sse patch to fix FTBFS on non-x86 arches. 2018-10-31 21:04:06 -06:00
Jerry James 9257eb278f New upstream version. Drop python2 subpackage (bz 1634981). 2018-10-30 21:15:28 -06:00
Jerry James 4c5d018dee Build with SSE2 support on 32-bit x86. 2018-09-07 18:27:48 -06:00
Fedora Release Engineering e6a17e9e23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-14 09:46:20 +00:00
Richard W.M. Jones 96fd88021f OCaml 4.07.0 (final) rebuild. 2018-07-11 18:12:16 +01:00
Richard W.M. Jones f0383c67da OCaml 4.07.0-rc1 rebuild. 2018-06-20 12:43:02 +01:00
Miro Hrončok 3bb110b427 Rebuilt for Python 3.7 2018-06-19 11:30:59 +02:00
Jerry James 43e43e0b63 New upstream version (bz 1581516). Drop upstreamed -vector patch. 2018-05-22 21:32:35 -06:00
Jerry James 801e577186 Fix FTBFS due to a vector access. 2018-02-13 21:43:54 -07:00
Fedora Release Engineering 25167ae5c7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-09 22:21:58 +00:00
Jerry James 3c59b007cd New upstream version (bz 1527531). Add a python3 subpackage. 2017-12-24 21:45:27 -07:00
Zbigniew Jędrzejewski-Szmek 19ea46f605 Python 2 binary package renamed to python2-z3 2017-12-17 12:47:16 -05:00
Richard W.M. Jones fd4d6b2db0 Add dependency on ocaml-num. 2017-11-17 19:13:15 +00:00
Richard W.M. Jones c61e6f86e0 OCaml 4.06.0 rebuild. 2017-11-17 17:45:33 +00:00
Richard W.M. Jones ffafa1295e OCaml 4.05.0 rebuild. 2017-08-08 19:58:20 +01:00
Fedora Release Engineering 2c901025b5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 22:38:42 +00:00
Richard W.M. Jones a4e98e34cf OCaml 4.04.2 rebuild. 2017-06-27 10:12:28 +01:00
Richard W.M. Jones 064f6ff38a OCaml 4.04.1 rebuild. 2017-05-12 20:33:09 +01:00
Fedora Release Engineering be4593cb92 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 18:20:16 +00:00
Jerry James 1afb4a3f9f New upstream version. 
Also:
- All patches except -sse2 have been upstreamed; drop them.
- Upstream now ships __init__.py; drop our version.
- Drop all the buildroot tricks; Makefile supports DESTDIR now.
- Use C.UTF-8 instead of en_US.UTF-8.
 2016-11-10 16:07:47 -07:00
Richard W.M. Jones bf833fdae8 Rebuild for OCaml 4.04.0. 2016-11-05 10:21:15 +00:00
Fedora Release Engineering e21c953561 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages 2016-07-19 13:15:01 +00:00
Jerry James 048436281a Fix Java interface (bz 1353773). 2016-07-13 15:07:47 -06:00
Jerry James a6a79cd954 Fix __init__.py (bz 1351580). 2016-06-30 19:54:14 -06:00
Fedora Release Engineering 8e8df669ad - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-05 04:01:44 +00:00
Jonathan Wakely dfed6c60f3 Patched for C++11 compatibility 2016-02-02 23:44:10 +00:00
Jerry James 3eba0f0f08 Add __init__.py to the python interface (bz 1298429). 2016-01-20 20:26:48 -07:00
Jerry James 4152a94731 Fix thinko on non-x86_64 arches. 2015-10-08 21:40:18 -06:00
Jerry James a020e58b53 New upstream version. 2015-10-08 21:08:13 -06:00
Richard W.M. Jones e0c54db4a3 OCaml 4.02.3 rebuild. 2015-07-29 00:42:05 +01:00
Richard W.M. Jones 536d12b3eb ocaml-4.02.2 final rebuild. 2015-06-25 08:30:00 +01:00
Richard W.M. Jones f450549ed6 ocaml-4.02.2 rebuild. 2015-06-18 16:17:39 +01:00
Jerry James ec1011a621 New upstream version. 2015-05-28 10:05:25 -06:00
Jerry James f43a07744b Temporarily disable tests due to insufficient memory on the builders. 2015-04-25 09:45:50 -06:00
Jerry James 4dc7a51663 Initial import. 2015-04-23 09:09:07 -06:00
Fedora Release Engineering 8d8257e102 Initial setup of the repo 2015-04-23 12:45:25 +00:00