Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ppl-gprolog | Distribution: OpenMandriva Lx |
Version: 1.2 | Vendor: OpenMandriva |
Release: 5 | Build date: Tue Feb 21 20:04:30 2023 |
Group: Development/Other | Build host: ph300-3.openmandriva.org |
Size: 6956924 | Source RPM: ppl-1.2-5.src.rpm |
Packager: bero <bero@lindev.ch> | |
Url: https://www.bugseng.com/content/ppl-download | |
Summary: The GNU Prolog interface of the Parma Polyhedra Library |
This package adds GNU Prolog support to the Parma Polyhedra Library (PPL). Install this package if you want to use the library in GNU Prolog programs.
GPLv3+
/usr/bin/ppl_gprolog /usr/lib64/ppl/libppl_gprolog.so /usr/share/doc/ppl-gprolog /usr/share/doc/ppl-gprolog/README.gprolog /usr/share/ppl/ppl_gprolog.pl
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Feb 11 23:04:04 2025