Jerry James
|
4b954d244b
|
Upload the new sources.
|
2020-01-31 09:38:30 -07:00 |
|
Jerry James
|
d51159afe7
|
Update to latest git snapshot. Add -giaDeep patch to fix build failure.
|
2019-12-18 10:06:18 -07:00 |
|
Jerry James
|
101e1a3a27
|
Update to latest git snapshot.
Also:
- Add -build and -format patches.
- Build with cmake.
- Enable CUDD support.
|
2019-06-12 20:13:03 -06:00 |
|
Jerry James
|
6778fa032f
|
Update to latest git snapshot.
|
2018-11-26 21:11:46 -07:00 |
|
Jerry James
|
035e24d701
|
Update to latest git snapshot.
|
2018-07-10 18:40:34 -06:00 |
|
Jerry James
|
438cf10ba4
|
Update to latest mercurial snapshot. BR gcc-c++ instead of gcc.
|
2018-03-03 19:04:26 -07:00 |
|
Jerry James
|
d87bf10db4
|
Update to latest mercurial snapshot.
|
2018-02-01 21:53:52 -07:00 |
|
Eric Smith
|
a19d41589f
|
Updated to latest mercurial snapshot.
|
2016-09-10 13:00:24 -06:00 |
|
Jerry James
|
744413fb3a
|
Update to latest mercurial snapshot.
Also, drop the python2 subpackage; upstream moved python support to a
separate project.
|
2016-02-05 16:06:55 -07:00 |
|
Jerry James
|
0adf615eff
|
Update to latest mercurial snapshot.
|
2015-03-07 17:23:15 -07:00 |
|
Jerry James
|
270dae44be
|
Update to latest mercurial snapshot.
Also: fix installation of header files.
|
2015-01-01 21:13:18 -07:00 |
|
Jerry James
|
575c8c745f
|
Initial import.
|
2014-12-16 08:17:25 -07:00 |
|
Fedora Release Engineering
|
4707fad998
|
Initial setup of the repo
|
2014-12-16 13:12:09 +00:00 |
|