Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: coin-or-lemon-tools | Distribution: Fedora Project |
Version: 1.3.1 | Vendor: Fedora Project |
Release: 26.fc38 | Build date: Thu Jan 19 01:48:28 2023 |
Group: Unspecified | Build host: buildhw-x86-05.iad2.fedoraproject.org |
Size: 683685 | Source RPM: coin-or-lemon-1.3.1-26.fc38.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.
Boost and BSD
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * 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
/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/42 /usr/lib/.build-id/42/61a7bc59b9b731bf019bcb87ffe5f94b673021 /usr/lib/.build-id/75 /usr/lib/.build-id/75/817524e2909174feab2a68b3a9642315a03da0 /usr/lib/.build-id/8e /usr/lib/.build-id/8e/13828c5950f5d004837ac027588d7cb7c8ec3e /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 22:26:30 2024