swi-prolog-7.4.2-alt2_2.x86_64.rpm


Advertisement

Description

swi-prolog - Prolog interpreter and compiler

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package name swi-prolog
Package version 7.4.2
Package release alt2_2
Package architecture x86_64
Package type rpm
Installed size unknown
Download size unknown
Official Mirror ftp.altlinux.org
Edinburgh-style Prolog compiler including modules, autoload, libraries,
Garbage-collector, stack-expandor, C-interface, GNU-readline and GNU-Emacs
interface, very fast compiler.

Alternatives

Package Version Architecture Repository
swi-prolog-7.4.2-alt2_2.i586.rpm 7.4.2 i586 Classic
swi-prolog - - -

Requires

Name Value
rpmlib(PayloadIsLzma) -
swi-prolog-nox = 7.4.2-alt2_2

Provides

Name Value
swi-prolog = 7.4.2-alt2_2

Download

Type URL
Binary Package swi-prolog-7.4.2-alt2_2.x86_64.rpm
Source Package swi-prolog-7.4.2-alt2_2.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install swi-prolog rpm package:
    # sudo apt-get install swi-prolog

Changelog

2018-03-15 - Igor Vlasenko <viy@altlinux.ru> 7.4.2-alt2_2
- added Url:
2018-03-04 - Igor Vlasenko <viy@altlinux.ru> 7.4.2-alt1_2
- new version; picked from orphaned as import
2012-08-30 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 5.6.15-alt1.qa2
- Rebuilt with gmp 5.0.5
2010-02-04 - Repocop Q. A. Robot <repocop@altlinux.org> 5.6.15-alt1.qa1
- NMU (by repocop): the following fixes applied:
* post_ldconfig for swi-prolog
* postun_ldconfig for swi-prolog
* postclean-05-filetriggers for spec file
2006-07-02 - Alexey Tourbin <at@altlinux.ru> 5.6.15-alt1
- 5.0.10 -> 5.6.15
- configured --enable-shared
- installed swi-prolog libraries under %plbase
- built and packaged manual.pdf

See Also

Package Description
swi-prolog-doc-7.4.2-alt2_2.x86_64.rpm Documentation for swi-prolog
swi-prolog-java-7.4.2-alt2_2.x86_64.rpm Java interface for swi-prolog
swi-prolog-nox-7.4.2-alt2_2.x86_64.rpm SWI-Prolog without GUI components
swi-prolog-odbc-7.4.2-alt2_2.x86_64.rpm ODBC interface for swi-prolog
swi-prolog-x-7.4.2-alt2_2.x86_64.rpm swi-prolog native GUI library
swift-3.0-alt2.beta2.x86_64.rpm Swift, new friendly chat client
swig-3.0.12-alt4.S1.x86_64.rpm Simplified Wrapper and Interface Generator (SWIG)
switchboard-2.3.1-alt1.x86_64.rpm Modular Desktop Settings Hub for elementary OS
sword-1.8.1-alt1.x86_64.rpm The SWORD Project framework for manipulating Bible texts
sxiv-1.32-alt1.x86_64.rpm Simple X Image Viewer
syfi-1.1.0-alt6.bzr20130304.x86_64.rpm Symbolic Finite Elements (SyFi) and The SyFi Form Compiler (SFC)
sylpheed-3.7.0-alt0.1.x86_64.rpm a GTK+ based, lightweight, and fast e-mail client
sylpheed-devel-3.7.0-alt0.1.x86_64.rpm Development files for sylpheed
symlinks-1.4-alt1.1.x86_64.rpm A utility which maintains a system's symbolic links
synaesthesia-2.4-alt1.qa1.x86_64.rpm This program visualizes audio input
Advertisement
Advertisement