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: 1.mga8 | Build date: Thu Jun 4 00:50:31 2020 |
Group: Development/C | Build host: localhost |
Size: 28675 | Source RPM: picosat-965-1.mga8.src.rpm |
Packager: joequant <joequant> | |
Url: http://fmv.jku.at/picosat/ | |
Summary: Development files for PicoSAT |
Headers and other development files for PicoSAT.
MIT-like
* Thu Jun 04 2020 joequant <joequant> 965-1.mga8 + Revision: 1590192 - update to 965 * Fri Feb 14 2020 umeabot <umeabot> 936-15.mga8 + Revision: 1515927 - Mageia 8 Mass Rebuild * Sun Sep 23 2018 umeabot <umeabot> 936-14.mga7 + Revision: 1300262 - Mageia 7 Mass Rebuild * Tue Jul 10 2018 wally <wally> 936-13.mga7 + Revision: 1242933 - drop unneeded post/postun scriptlets
/usr/include/picosat/picosat.h /usr/lib64/libpicosat-trace.so /usr/lib64/libpicosat.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 14:35:04 2024