cvc3-devel - Development files for cvc3
| Website: | http://www.cs.nyu.edu/acsys/cvc3/ |
|---|---|
| License: | Stanford |
- Description:
This package contains development files for cvc3.
Packages
| cvc3-devel-2.4.1-1.el7.soc.x86_64 [162 KiB] |
Changelog
by Jean-Paul Chaput (2015-01-07):
- Initial packaging. Added support for DESTDIR. |