rpms/undertaker
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The undertaker rpms
14 commits 11 branches 0 tags 58 KiB
Find a file
Exact
Jerry James 10db322d61 Add -picosat patch to adapt to new reentrant picosat API. 
Fix bogus changelog date.
2013-07-31 16:51:08 -06:00
.gitignore Initial import. 2011-10-17 21:30:08 -06:00
sources Initial import. 2011-10-17 21:30:08 -06:00
undertaker-boost_mt.patch Add -picosat patch to adapt to new reentrant picosat API. 2013-07-31 16:51:08 -06:00
undertaker-picosat.patch Add -picosat patch to adapt to new reentrant picosat API. 2013-07-31 16:51:08 -06:00
undertaker.spec Add -picosat patch to adapt to new reentrant picosat API. 2013-07-31 16:51:08 -06:00