Name: | picosat-devel |
---|---|
Version: | 965 |
Release: | 17.el9 |
Architecture: | x86_64 |
Group: | Unspecified |
Size: | 28728 |
License: | MIT |
RPM: | picosat-devel-965-17.el9.x86_64.rpm |
Source RPM: | picosat-965-17.el9.src.rpm |
Build Date: | Mon May 01 2023 |
Build Host: | build-ol9-x86_64.oracle.com |
Vendor: | Oracle America |
URL: | http://fmv.jku.at/picosat/ |
Summary: | Development files for PicoSAT |
Description: | Headers and other development files for PicoSAT. |