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

128 Commits

Author SHA1 Message Date
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