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

ppl-gprolog-1.2-5 RPM for x86_64

From OpenMandriva Cooker for x86_64 / main / release

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.

Provides

Requires

License

GPLv3+

Files

/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, Thu May 2 23:03:50 2024