Gabriel Somlo
|
40787df0eb
|
update to latest snapshot; update header, bundlelib patches for new snapshot
|
2020-11-27 07:35:15 -05: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
|
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
|
575c8c745f
|
Initial import.
|
2014-12-16 08:17:25 -07:00 |
|