Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

picosat-devel-936-71 RPM for aarch64

From OpenMandriva Cooker for aarch64 / unsupported / release

Name: picosat-devel Distribution: OpenMandriva Lx
Version: 936 Vendor: OpenMandriva
Release: 71 Build date: Tue Jul 11 04:30:43 2023
Group: Development/C Build host: instance-20220713-1556-1.openmandriva.org
Size: 20744 Source RPM: picosat-936-71.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://fmv.jku.at/picosat/
Summary: Development files for PicoSAT
 
Headers and other development files for PicoSAT.

Provides

Requires

License

MIT-like

Changelog

* Sun Feb 27 2011 Funda Wang <fwang@mandriva.org> 936-6mdv2011.0
  + Revision: 640458
  - rebuild to obsolete old packages
* Tue Feb 22 2011 Alexandre Lissy <alissy@mandriva.com> 936-5
  + Revision: 639278
  - Fixing compilation issues and trace patch not being applied
* Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-4
  + Revision: 639143
  - fixes major to 1 (as debian)
  - fixing install directory of picosat.h as <picosat/picosat.h>
* Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-3
  + Revision: 639137
  - Fixes the dependency on library package
  - Fixing -devel package name
  - Using major for library version
* Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-2
  + Revision: 639126
  - Improving packaging for libraries using libname defines
  - Fixing the Group for -devel package
  - Fixing build issue with make -j
  - Fixing typo in RPM group
  - Adding picosat package.
  - Created package structure for picosat.

Files

/usr/include/picosat/picosat.h
/usr/lib64/libpicosat-trace.so
/usr/lib64/libpicosat.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 1 23:14:33 2024