Information for RPM gprolog-1.5.0-3.oc9.aarch64.rpm
ID | 335904 | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | gprolog-1.5.0-3.oc9 | |||||||||||||||
Name | gprolog | |||||||||||||||
Version | 1.5.0 | |||||||||||||||
Release | 3.oc9 | |||||||||||||||
Epoch | ||||||||||||||||
Arch | aarch64 | |||||||||||||||
Draft | False | |||||||||||||||
Summary | GNU Prolog is a free Prolog compiler | |||||||||||||||
Description | GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics. | |||||||||||||||
Build Time | 2025-06-12 21:01:33 GMT | |||||||||||||||
Size | 1.11 MB | |||||||||||||||
6362917d2670d411d47b3c91f3594ce2 | ||||||||||||||||
License | LGPL-3.0-or-later OR GPL-2.0-or-later | |||||||||||||||
Buildroot | dist-oc9-epol-build-146727-79719 | |||||||||||||||
Provides |
|
|||||||||||||||
Obsoletes | No Obsoletes | |||||||||||||||
Conflicts | No Conflicts | |||||||||||||||
Requires |
|
|||||||||||||||
Recommends | No Recommends | |||||||||||||||
Suggests | No Suggests | |||||||||||||||
Supplements | No Supplements | |||||||||||||||
Enhances | No Enhances | |||||||||||||||
Files | ||||||||||||||||
Component of | No Buildroots |