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

coin-or-lemon-tools-1.3.1-25.fc37 RPM for x86_64

From Fedora 37 for x86_64 / c

Name: coin-or-lemon-tools Distribution: Fedora Project
Version: 1.3.1 Vendor: Fedora Project
Release: 25.fc37 Build date: Thu Jul 21 01:33:16 2022
Group: Unspecified Build host: buildvm-x86-08.iad2.fedoraproject.org
Size: 679817 Source RPM: coin-or-lemon-1.3.1-25.fc37.src.rpm
Packager: Fedora Project
Url: http://lemon.cs.elte.hu/trac/lemon
Summary: Command-line tools for coin-or-lemon
The coin-or-lemon-tools package contains a handful of command-line tools that
come with coin-or-lemon.

Provides

Requires

License

Boost and BSD

Changelog

* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-25
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-23
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-21
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/bin/dimacs-solver
/usr/bin/dimacs-to-lgf
/usr/bin/lemon-0.x-to-1.x.sh
/usr/bin/lgf-gen
/usr/lib/.build-id
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/46ce0719b6e65a70540b354d3d79b4e444a72d
/usr/lib/.build-id/60
/usr/lib/.build-id/60/cbbcbfb962f8cbb6a935a9290a3a0260b87ae7
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/bfa7abb6a65bea356d23d04cda58819d3e4222
/usr/share/man/man1/dimacs-solver.1.gz
/usr/share/man/man1/dimacs-to-lgf.1.gz
/usr/share/man/man1/lgf-gen.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:33:48 2024