Package - gprolog

Package:  gprolog
apt-get install gprolog
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/g/gprolog/gprolog_1.4.5.0-3_amd64.deb (Size: 902.9KiB)

PropertyValue
Packagegprolog
Version1.4.5.0-3
Installed-Size5903
MaintainerSalvador Abreu
Architectureamd64
Dependslibc6 (>= 2.29)
Recommendsgprolog-doc
DescriptionGNU Prolog compiler
Description-md5467ab0737d453fc9cf9f69bd4fa2965f
Homepagehttp://www.gprolog.org/
Tagdevel::compiler, devel::interpreter, devel::lang:prolog, interface::commandline, role::program, scope::utility, suite::gnu, works-with::software:source
Sectiondevel
Priorityoptional
Filenamepool/main/g/gprolog/gprolog_1.4.5.0-3_amd64.deb
Size924560
MD5sum306b07440093acfa44d884c4f030e5d7
SHA25604fcbaa94a48beeab1edf1d7af288035f5687f50cbb53864c80b64835a27bb4f

Files in package

  • /usr/lib/gprolog/ChangeLog
  • /usr/lib/gprolog/NEWS
  • /usr/lib/gprolog/README
  • /usr/lib/gprolog/VERSION
  • /usr/lib/gprolog/all_fd_bips.o
  • /usr/lib/gprolog/all_pl_bips.o
  • /usr/lib/gprolog/bin/fd2c
  • /usr/lib/gprolog/bin/gplc
  • /usr/lib/gprolog/bin/gprolog
  • /usr/lib/gprolog/bin/hexgplc
  • /usr/lib/gprolog/bin/ma2asm
  • /usr/lib/gprolog/bin/pl2wam
  • /usr/lib/gprolog/bin/wam2ma
  • /usr/lib/gprolog/debugger.o
  • /usr/lib/gprolog/gprolog.ico
  • /usr/lib/gprolog/include/fd_to_c.h
  • /usr/lib/gprolog/include/gprolog.h
  • /usr/lib/gprolog/libbips_fd.a
  • /usr/lib/gprolog/libbips_pl.a
  • /usr/lib/gprolog/libengine_fd.a
  • /usr/lib/gprolog/libengine_pl.a
  • /usr/lib/gprolog/liblinedit.a
  • /usr/lib/gprolog/top_level.o
  • /usr/lib/gprolog/top_level_main.o
  • /usr/share/doc-base/gprolog
  • /usr/share/doc/gprolog/NEWS.gz
  • /usr/share/doc/gprolog/README.Debian
  • /usr/share/doc/gprolog/README.gz
  • /usr/share/doc/gprolog/changelog.Debian.gz
  • /usr/share/doc/gprolog/changelog.gz
  • /usr/share/doc/gprolog/copyright
  • /usr/share/icons/gprolog.png
  • /usr/share/man/man1/gplc.1.gz
  • /usr/share/man/man1/gprolog.1.gz
  • /usr/share/man/man1/hexgplc.1.gz