d5397effc2
- Move execstack fixing to spec file from patch
- Moved patch descriptions to initial patch declaration as in examples in
Fedora documentation
- New Caduceus, Krakatoa documentation
- Update test result from small test min.mlw
- Added CVC3 interfacing capabilities
- Removed patch for gwhy configuration, as there is a new mechanism for
this
2 lines
97 B
Text
2 lines
97 B
Text
14563361a9427e58115825b4e782d23e krakatoa.pdf
|
|
8b8d8f6376e42c688521abf5d9f21a9c why-2.23.tar.gz
|