Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: picosat-devel | Distribution: Mageia |
Version: 965 | Vendor: Mageia.Org |
Release: 2.mga9 | Build date: Tue Mar 15 08:05:38 2022 |
Group: Development/C | Build host: localhost |
Size: 28711 | Source RPM: picosat-965-2.mga9.src.rpm |
Packager: umeabot <umeabot> | |
Url: http://fmv.jku.at/picosat/ | |
Summary: Development files for PicoSAT |
Headers and other development files for PicoSAT.
MIT-like
* Tue Mar 15 2022 umeabot <umeabot> 965-2.mga9 + Revision: 1792863 - Mageia 9 Mass Rebuild * Thu Jun 04 2020 joequant <joequant> 965-1.mga8 + Revision: 1590192 - update to 965
/usr/include/picosat/picosat.h /usr/lib/libpicosat-trace.so /usr/lib/libpicosat.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 18 17:56:52 2024